1030.83/1032.79	unsat
