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