max=x815+x915+x1115+x1215+x1315+x1415;

x01=x14;
x02=x23+x26+x25;
x23=x34+x37;
x14+x34+x04=x49+x46;
x05+x25+x65=x58+x511;
x06+x26+x46=x67+x610+x65;
x37+x67=x79+x710+x78;
x78+x58=x810+x811+x815;
x49+x79=x912+x910+x915;
x910+x710+x610+x810=x1011+x1013;
x511+x811+x1011=x1113+x1114+x1115;
x912+x1312=x1215;
x1013+x1113=x1312+x1315+x1314;
x1114+x1314=x1415;

x01<=1;
x14<=1;
x02<=1;
x23<=1;
x26<=1;
x25<=1;
x23<=1;
x34<=1;
x37<=1;
x14<=1;
x34<=1;
x04<=1;
x49<=1;
x46<=1;
x05<=1;
x25<=1;
x65<=1;
x58<=1;
x511<=1;
x06<=1;
x26<=1;
x46<=1;
x67<=1;
x610<=1;
x65<=1;
x37<=1;
x67<=1;
x79<=1;
x710<=1;
x78<=1;
x78<=1;
x58<=1;
x810<=1;
x811<=1;
x815<=1;
x49<=1;
x79<=1;
x912<=1;
x910<=1;
x915<=1;
x910<=1;
x710<=1;
x610<=1;
x810<=1;
x1011<=1;
x1013<=1;
x511<=1;
x811<=1;
x1011<=1;
x1113<=1;
x1114<=1;
x1115<=1;
x912<=1;
x1312<=1;
x1215<=1;
x1013<=1;
x1113<=1;
x1312<=1;
x1315<=1;
x1314<=1;
x1114<=1;
x1314<=1;
x1415<=1;

x01>=0;
x14>=0;
x02>=0;
x23>=0;
x26>=0;
x25>=0;
x23>=0;
x34>=0;
x37>=0;
x14>=0;
x34>=0;
x04>=0;
x49>=0;
x46>=0;
x05>=0;
x25>=0;
x65>=0;
x58>=0;
x511>=0;
x06>=0;
x26>=0;
x46>=0;
x67>=0;
x610>=0;
x65>=0;
x37>=0;
x67>=0;
x79>=0;
x710>=0;
x78>=0;
x78>=0;
x58>=0;
x810>=0;
x811>=0;
x815>=0;
x49>=0;
x79>=0;
x912>=0;
x910>=0;
x915>=0;
x910>=0;
x710>=0;
x610>=0;
x810>=0;
x1011>=0;
x1013>=0;
x511>=0;
x811>=0;
x1011>=0;
x1113>=0;
x1114>=0;
x1115>=0;
x912>=0;
x1312>=0;
x1215>=0;
x1013>=0;
x1113>=0;
x1312>=0;
x1315>=0;
x1314>=0;
x1114>=0;
x1314>=0;
x1415>=0;