translation to DIMACS fails on Top or Bottom
translation to DIMACS fails on Top or Bottom

olzd/touist,olzd/touist,FredMaris/touist,touist/touist,touist/touist,FredMaris/touist,olzd/touist,FredMaris/touist,touist/touist,touist/touist