6.66/7.78	unsat
