6.58/10.59	unsat
