1030.73/1039.13	unsat
