6.95/7.78	unsat
