1043.37/1048.69	unsat
