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

sat

(= t5n 0)
(= t1p 0)
(= t1c 2)
(= t3c 0)
(= t2p 3)
(= t1d 1)
(= t4c 0)
(= t4d 1)
(= t5c 5)
(= t3s 0)
(= t3d 0)
(= t5p 0)
(= t2s 4)
(= t5s 0)
(= t6d 1)
(= t1s 4)
(= t6n 4)
(= t2d 1)
(= t3n 0)
(= t4p 7)
(= t6s 0)
(= t4s 0)
(= t4n 0)
(= t1n 0)
(= t6c 3)
(= t5d 1)
(= t2n 0)
(= t2c 0)
(= t6p 0)
(= t3p 8)