Question: What Houston Astro with at least 3000 strikeouts has the lowest K/IP ratio
answer: Verlander