Min

200x12+300x15+200x12+100x23+170x26+100x32+300x34+200x37+300x43+100x48+300x51+150x56
+100x59+150x65+170x62+120x67+110x610+120x76+150x711+200x73+250x78+250x87+100x84+210
x812+100x95+160x910+150x913+160x109+110x106+180x1011+170x1014+180x1110+150x117+170x
1112+190x1115+170x1211+180x1216+210x128+150x139+120x1314+120x1413+170x1410+250x1415
+250x1514+190x1511+100x1516+180x1612+100x1615
ST
x12+x15=1
x21+x51=1
x21+x23+x26=1
x12+x32+x62=1
x32+x34+x37=1
x23+x43+x73=1
x43+x48=1
x34+x84=1
x51+x56+x59=1
x15+x65+x95=1
x65+x62+x67+x610=1
x56+x26+x76+x106=1
x76+x711+x73+x78=1
x67+x117+x37+x87=1
x87+x84+x812=1
x78+x48+x128=1
x95+x910+x913=1
x59+x109+x139=1
x109+x106+x1011+x1014=1
x910+x610+x1111+x1410=1
x1110+x117+x1112+x1115=1
x1011+x711+x1211+x1511=1
x1211+x1216+x128=1
x1112+x1612+x812=1
x139+x1314=1
x913+x1413=1
x1413+x1410+x1415=1
x1314+x1014+x1514=1
x1514+x1511+x1516=1
x1415+x1115+x1615=1
x1612+x1615=1
x1216+x1516=1
x15+x59+x910+x106+x106+x67+x73+x32+x21 <= 9
x48+x84<= 1
x1112+x1211<= 1
x1314+x1413<= 1
x1516+x1615<= 1

int 24

end