[Bug 1850262] Review Request: kissat - Keep It Simple SAT solver