d: uint; 
keep d <= 1; 
c: uint; 
keep c <= (48 - 48*d)/12; 
b: uint; 
keep b <= (48 - 48*d - 12*c)/3; 
a: uint; 
keep a + 3*b + 12*c + 48*d == 48;