32.25/34.52	unsat
