32.80/34.05	unsat
