(define (problem col-2)
(:domain colorability)
(:objects red green blue - color
          a b c d e f g - node)
(:init
(connected a b)
(connected b c)
(connected c d)
(connected d e)
(connected e f)
(connected f a)
(connected g a)
(connected g b)
(connected g c)
(connected g d)
(connected g e)
(connected g f)
(connected b a)
(connected c b)
(connected d c)
(connected e d)
(connected f e)
(connected a f)
(connected a g)
(connected b g)
(connected c g)
(connected d g)
(connected e g)
(connected f g)
(uncolored a)
(uncolored b)
(uncolored c)
(uncolored d)
(uncolored e)
(uncolored f)
(uncolored g)
)
(:goal )
)