31.96/32.16	unsat
