32.92/36.00	unsat
