243.02/244.50	unsat
