305.02/306.14	unsat
