305.07/306.39	unsat
