243.24/244.41	unsat
