Min RA1+RA2+RA3+RA4+RA5+RA6+RA7+RA8+RA9+RA10+RA11+RA12+RA13+RA14+RB1+RB2+

RC1+RC2+RC3+RC4+RC5+RC6+RC7+RC8+RC9+RC10+RC11+RC12+RC13+RC14+RD3+RD4+
RD5+RD6+RD7+RD8+RD9+RD10+RE3+RE4+RE5+RE6+RE7+RE8+RE9+RE10+RE11+RE12+RE13+
RE14+RF11+RF12+RF13+RF14
ST
RB1=3
RB2=3
RD3=4
RD4=4
RD5=4
RD6=4
RD7=4
RD8=4
RD9=4
RD10=4
RF11=9
RF12=9
RF13=9
RF14=9
RA1<=8
RA1>=0
RA2<=8
RA2>=0
RA3<=8
RA3>=0
RA4<=8
RA4>=0
RA5<=8
RA5>=0
RA6<=8
RA6>=0
RA7<=8
RA7>=0
RA8<=8
RA8>=0
RA9<=8
RA9>=0
RA10<=8
RA10>=0
RA11<=8
RA11>=0
RA12<=8
RA12>=0
RA13<=8
RA13>=0
RA14<=8
RA14>=0
RC1<=5
RC1>=0
RC2<=5
RC2>=0
RC3<=5
RC3>=0
RC4<=5
RC4>=0
RC5<=5
RC5>=0

RC6<=5
RC6>=0
RC7<=5
RC7>=0
RC8<=5
RC8>=0
RC9<=5
RC9>=0
RC10<=5
RC10>=0
RC11<=5
RC11>=0
RC12<=5
RC12>=0
RC13<=5
RC13>=0
RC14<=5
RC14>=0
RE3<=4
RE3>=0
RE4<=4
RE4>=0
RE5<=4
RE5>=0
RE6<=4
RE6>=0
RE7<=4
RE7>=0
RE8<=4
RE8>=0
RE9<=4
RE9>=0
RE10<=4
RE10>=0
RE11<=4
RE11>=0
RE12<=4
RE12>=0
RE13<=4
RE13>=0
RE14<=4
RE14>=0
RA1+RB1+RC1<=9
RA2+RB2+RC2<=9
RA3+RC3+RD3+RE3<=9
RA4+RC4+RD4+RE4<=9
RA5+RC5+RD5+RE5<=9
RA6+RC6+RD6+RE6<=9
RA7+RC7+RD7+RE7<=9
RA8+RC8+RD8+RE8<=9
RA9+RC9+RD9+RE9<=9
RA10+RC10+RD10+RE10<=9
RA11+RC11+RE11<=9
RA12+RC12+RE12<=9
RA13+RC13+RE13<=9

RA14+RC14+RE14<=9

RA1+RA2+RA3+RA4+RA5+RA6+RA7+RA8+RA9+RA10+RA11+RA12+RA13+RA14=32
RC1+RC2+RC3+RC4+RC5+RC6+RC7+RC8+RC9+RC10+RC11+RC12+RC13+RC14=20
RE3+RE4+RE5+RE6+RE7+RE8+RE9+RE10+RE11+RE12+RE13+RE14=16
end