6.67/7.78	unsat
