I went through this a few years back, and ended up with a Mir 47K. The lens is not up to Pentax standards, or even close, optically or mechanically. I had to bend the aperture tab to get it to fit on my camera!
Also, it comes with 3 filters (orange, yellow-green, and UV) that thread on the back of the lens. These filters are the last element in the lens- meaning that images taken without one in place are going to be less than sharp.
Well, only on some Pentax bodies can you use them, but on most the filters will interfere with the mirror. I have had a KX, K1000, ME Super, and Super Program to try the lens on, and only the KX had enough clearance for the mirror with a filter in place.
So it is that or-
•several hundred dollars for a Pentax 20mm (not known for being one of Pentax's better lenses),
•a Pentax 18mm (a little larger and very rare, also several hundred dollars),
•a Pentax 15mm (supposed to be optically excellent, but huge and ≈$800).
There are other aftermarket lenses out there in this range but none have good reputations as far as I know.
I gave up on K-mount for wide angle, and bought a Bessa L and a 15mm Heliar. The results are stunning!