set O := 1 2 3 4 5 6 7 8;	

set T := 1 2 3 4 5 6 7 8;	

param c : 1 2 3 4 5 6 7 8 :=
1	14	14	11	14	10	15	13	10
2	13	7	9	12	15	8	11	7
3	8	10	9	15	9	9	13	15
4	15	7	8	15	8	10	13	13
5	12	7	15	7	13	12	9	11
6	9	12	11	9	15	13	10	8
7	12	15	11	9	12	9	7	15
8	9	10	9	10	15	14	15	13;