31.37/32.69	unsat
