6.58/8.69	unsat
