6.58/10.52	unsat
