32.47/35.16	unsat
