Show HN: CISA CVEs with Precondition Reasoning and Default Exploitability