31.37/32.77	unsat
