936.11/1032.23	unsat
