6.76/6.87	unsat
