7.68/7.77	unsat
