For logic where Insatisfiability, where, semi -desidable, then this other question will be semi-desidable as well, and since it is known not to be semi-desidable, insatisfiability algi containment must not be semi-desidable either. 