6.87/7.77	unsat
