Finding a Maximum Cut of a Planar Graph in Polynomial Time | Synapse