Source: wikibot/planar-sat

= Planar SAT
{wiki=Planar_SAT}