1246.58/1253.88	unsat
