6.58/8.58	unsat
