246.70/249.14	unsat
