6.88/6.93	unsat
