6.58/10.77	unsat
