Rules out a k-value in base-3 dual Sierpinski/Riesel problem.

By PFGW, Fermat and Lucas PRP.

To be completed...