31.47/35.88	unsat
