6.58/7.97	unsat
