1239.64/1245.21	unsat
