on-restart-benchmarks/radiation/05.dzn

m = 6;	% rows
n = 6;	% columns

% max intensity = 8
Intensity = [|
1, 8, 0, 7, 8, 6 |
7, 4, 6, 3, 4, 2 |
3, 1, 2, 0, 1, 7 |
0, 6, 4, 5, 3, 4 |
2, 3, 0, 1, 8, 0 |
7, 8, 6, 7, 5, 6
|];