7.67/7.77	unsat
