Source: wikibot/maxeksat

= MAXEkSAT
{wiki=MAXEkSAT}