243.46/244.53	unsat
