(define (problem col-3)
(:domain colorability)
(:objects red green blue yellow - color
          P E ANDO F B NL L DK D CH FL A MC I RSM SCV PL CZ SK - node)
(:init
(connected P E)
(connected E P)
(connected E ANDO)
(connected E F)
(connected ANDO E)
(connected ANDO F)
(connected F ANDO)
(connected F E)
(connected F B)
(connected F L)
(connected F D)
(connected F CH)
(connected F I)
(connected F MC)
(connected B F)
(connected B NL)
(connected B D)
(connected B L)
(connected NL B)
(connected NL D)
(connected L F)
(connected L B)
(connected L D)
(connected DK D)
(connected D DK)
(connected D PL)
(connected D CZ)
(connected D A)
(connected D CH)
(connected D F)
(connected D L)
(connected D B)
(connected D NL)
(connected CH F)
(connected CH D)
(connected CH FL)
(connected CH A)
(connected CH I)
(connected FL CH)
(connected FL A)
(connected A D)
(connected A FL)
(connected A I)
(connected A CH)
(connected MC F)
(connected MC I)
(connected I MC)
(connected I F)
(connected I CH)
(connected I A)
(connected I SCV)
(connected I RSM)
(connected RSM I)
(connected SCV I)
(connected PL D)
(connected CZ D)
(connected CZ SK)
(connected SK CZ)
(uncolored P)
(uncolored E)
(uncolored ANDO)
(uncolored F)
(uncolored B)
(uncolored NL)
(uncolored L)
(uncolored DK)
(uncolored D)
(uncolored CH)
(uncolored FL)
(uncolored A)
(uncolored MC)
(uncolored I)
(uncolored RSM)
(uncolored SCV)
(uncolored PL)
(uncolored CZ)
(uncolored SK)
)
(:goal )
)