250.52/254.17	unsat
