243.54/244.42	unsat
