6.58/8.20	unsat
