[master.git] / ar / assignments / src / 2.model

sat

(= c06y 16)
(= c10h 5)
(= c01h 3)
(= c11w 7)
(= c11h 9)
(= c02y 2)
(= c02x 9)
(= c05w 11)
(= c04x 21)
(= c06x 11)
(= c09x 1)
(= c06w 9)
(= c09h 9)
(= c03y 21)
(= c03h 1)
(= c05y 6)
(= c08x 8)
(= c07x 11)
(= c07y 1)
(= c10y 6)
(= c09y 11)
(= c09w 5)
(= c01x 28)
(= c04y 16)
(= c05h 5)
(= c06h 6)
(= c04w 8)
(= c10x 21)
(= c02h 3)
(= c08y 12)
(= c08w 19)
(= c11y 1)
(= c01w 1)
(= c07w 17)
(= c07h 4)
(= c10w 7)
(= c04h 6)
(= c08h 3)
(= c05x 9)
(= c01y 12)
(= c11x 1)
(= c02w 1)
(= c03x 7)
(= c03w 3)