Check out maksat Maks (@maksat.08) on Linkme