33.94/34.05	unsat
