31.39/32.74	unsat
