var 6..500: INT____00001 :: is_defined_var :: var_is_introduced;
var 1..41: INT____00002 :: is_defined_var :: var_is_introduced;
var 1..41: INT____00003 :: is_defined_var :: var_is_introduced;
var 1..41: INT____00004 :: is_defined_var :: var_is_introduced;
var 1..500: i :: output_var;
var 1..500: m :: output_var;
var 1..41: m2 :: output_var = INT____00002;
var 6..500: p :: output_var = INT____00001;
var 1..41: p2 :: output_var = INT____00003;
var 1..500: t :: output_var;
var 1..41: t2 :: output_var = INT____00004;
constraint int_div(INT____00001, 12, INT____00003) :: defines_var(INT____00003);
constraint int_div(m, 12, INT____00002) :: defines_var(INT____00002);
constraint int_div(t, 12, INT____00004) :: defines_var(INT____00004);
constraint int_lin_eq([-1, 6], [INT____00001, t], 0) :: defines_var(INT____00001);
constraint int_lin_eq([-1, 1, 2], [INT____00001, i, t], 0);
constraint int_lin_eq([1, 1, 1], [m, p, t], 840);
constraint int_lin_eq([-1, 3, -1, -1], [INT____00001, i, m, t], 0);
solve satisfy;