7.58/7.69	unsat
