31.89/32.00	unsat
