#boxa1[width] == 200; #boxa1[width] == #boxa2[width]; #boxa1[width] + #boxa2[width] <= 300;
#boxb1[width] == 200 !strong; #boxb1[width] == #boxb2[width]; #boxb1[width] + #boxb2[width] <= 300;
#boxc1[width] == 200; #boxc1[width] == #boxc2[width]; #boxc1[width] + #boxc2[width] <= 300 !weak;