6.88/6.99	unsat
