31.34/32.88	unsat
