6.58/9.75	unsat
