c This is a test input for the MAX-CSP solver

c What is the maximum number of constraints that can be satisfied?
c give a proof of your claim.

p 9 8

222 : 1 2 3					0
223 :                4 5 6			0
224 :                               7 8 9	0
225 : 1              4              7		0
226 :   2              5              8		0
227 :     3              6              9	0
228 : 1                5                9	0
229 :     3            5            7		0
170 : 10					0
85  : 10					0