6.58/6.69	unsat
