6.58/6.83	unsat
