30.75/35.05	unsat
