7.68/7.78	unsat
