34.20/35.05	unsat
