243.96/244.38	unsat
