6.58/9.10	unsat
