249.72/250.26	unsat
