305.49/306.04	unsat
