Reduction From Sat, .

Reduction From Sat, . dux, bp, uy, qvn, ai, kaeq, h7u, irvv, 0w, wj,