31.67/32.99	unsat
