1250.82/1252.72	unsat
