planar_non_con_p7.dimacs 23 B

123
  1. p edge 4 2
  2. e 0 1
  3. e 3 0