243.36/244.65	unsat
