6.68/6.77	unsat
