1. 2017-02-27 [kpat] [Bug 334475] solver wrongly reports g Tilghman Lesher 2. 2014-05-07 [kpat] [Bug 334475] solver wrongly reports g Matthew Woehlke