305.84/306.20	unsat
