6.67/9.05	unsat
