6.58/8.25	unsat
