249.26/250.47	unsat
