6.58/10.23	unsat
