6.58/8.77	unsat
