ESSENCE' 1.0
param r be 14
param c be 14
param row_sums be [0,2,2,2,2,2,8,8,4,4,4,4,4,0]
param col_sums be [0,0,0,12,12,2,2,2,2,7,7,0,0,0]