6.08/7.05	unsat
