I just tried this and the results look very off. I put in the MiniSat[1] Paper, and the result appears catastrophically wrong: https://imgur.com/a/i3RHwcQ

[1]: http://minisat.se/downloads/MiniSat.pdf