[minosat]

https://www.djelfa.info/vb/showthread.php?t=2019498