31.52/32.13	unsat
