minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 39526.476000 
s2: s + 0.001000f1 + 0.501000f2 >= 39526.476000 
f1: -f1 + 695x1 + 601x2 + 648x3 + 914x4 + 892x5 + 897x6 + 606x7 + 977x8 + 665x9 + 1258x10 + 928x11 + 701x12 + 526x13 + 925x14 + 860x15 + 1148x16 + 749x17 + 672x18 + 813x19 + 860x20 + 564x21 + 1079x22 + 904x23 + 510x24 + 1113x25 + 1081x26 + 914x27 + 843x28 + 701x29 + 822x30 + 821x31 + 766x32 + 922x33 + 794x34 + 564x35 + 612x36 + 785x37 + 692x38 + 639x39 + 787x40 + 684x41 + 962x42 + 645x43 + 862x44 + 658x45 + 462x46 + 729x47 + 662x48 + 1103x49 + 772x50 + 942x51 + 811x52 + 669x53 + 846x54 + 802x55 + 1132x56 + 388x57 + 798x58 + 664x59 + 944x60 + 687x61 + 568x62 + 572x63 + 1002x64 + 881x65 + 871x66 + 605x67 + 684x68 + 988x69 + 943x70 + 452x71 + 707x72 + 727x73 + 919x74 + 602x75 + 915x76 + 757x77 + 560x78 + 741x79 + 1045x80 + 831x81 + 868x82 + 593x83 + 935x84 + 911x85 + 587x86 + 498x87 + 525x88 + 971x89 + 687x90 + 895x91 + 478x92 + 763x93 + 729x94 + 690x95 + 730x96 + 950x97 + 1180x98 + 1023x99 + 885x100  = 0 
f2: -f2 + 922x1 + 881x2 + 928x3 + 988x4 + 564x5 + 665x6 + 911x7 + 462x8 + 669x9 + 1180x10 + 684x11 + 690x12 + 526x13 + 772x14 + 860x15 + 944x16 + 587x17 + 564x18 + 971x19 + 478x20 + 811x21 + 730x22 + 935x23 + 602x24 + 962x25 + 798x26 + 612x27 + 701x28 + 787x29 + 1103x30 + 572x31 + 942x32 + 757x33 + 1081x34 + 843x35 + 664x36 + 695x37 + 1023x38 + 763x39 + 687x40 + 1079x41 + 1113x42 + 943x43 + 741x44 + 1258x45 + 601x46 + 1148x47 + 895x48 + 729x49 + 639x50 + 1132x51 + 977x52 + 871x53 + 498x54 + 950x55 + 684x56 + 868x57 + 1045x58 + 919x59 + 862x60 + 662x61 + 1002x62 + 452x63 + 525x64 + 766x65 + 568x66 + 821x67 + 729x68 + 860x69 + 915x70 + 802x71 + 892x72 + 645x73 + 672x74 + 510x75 + 701x76 + 813x77 + 606x78 + 822x79 + 727x80 + 593x81 + 707x82 + 658x83 + 605x84 + 885x85 + 914x86 + 749x87 + 794x88 + 831x89 + 560x90 + 904x91 + 687x92 + 648x93 + 388x94 + 692x95 + 846x96 + 785x97 + 925x98 + 897x99 + 914x100  = 0 
constr1: + 919x1 + 339x2 + 859x3 + 674x4 + 277x5 + 937x6 + 600x7 + 832x8 + 476x9 + 440x10 + 955x11 + 619x12 + 281x13 + 616x14 + 327x15 + 933x16 + 643x17 + 167x18 + 866x19 + 860x20 + 673x21 + 560x22 + 778x23 + 896x24 + 337x25 + 209x26 + 692x27 + 157x28 + 303x29 + 255x30 + 239x31 + 582x32 + 122x33 + 491x34 + 75x35 + 88x36 + 854x37 + 610x38 + 332x39 + 26x40 + 945x41 + 390x42 + 268x43 + 718x44 + 535x45 + 854x46 + 812x47 + 546x48 + 85x49 + 238x50 + 505x51 + 763x52 + 279x53 + 39x54 + 887x55 + 54x56 + 689x57 + 741x58 + 879x59 + 135x60 + 165x61 + 820x62 + 976x63 + 214x64 + 529x65 + 824x66 + 751x67 + 381x68 + 663x69 + 919x70 + 143x71 + 714x72 + 282x73 + 159x74 + 672x75 + 734x76 + 860x77 + 327x78 + 967x79 + 146x80 + 464x81 + 983x82 + 897x83 + 964x84 + 120x85 + 271x86 + 551x87 + 478x88 + 447x89 + 273x90 + 657x91 + 938x92 + 518x93 + 990x94 + 58x95 + 509x96 + 205x97 + 138x98 + 408x99 + 969x100 <= 13278 
constr2: + 871x1 + 347x2 + 647x3 + 256x4 + 847x5 + 830x6 + 925x7 + 250x8 + 213x9 + 190x10 + 222x11 + 185x12 + 102x13 + 348x14 + 860x15 + 685x16 + 856x17 + 475x18 + 390x19 + 816x20 + 442x21 + 184x22 + 508x23 + 594x24 + 875x25 + 441x26 + 33x27 + 678x28 + 355x29 + 839x30 + 971x31 + 642x32 + 677x33 + 523x34 + 588x35 + 497x36 + 144x37 + 850x38 + 54x39 + 554x40 + 104x41 + 137x42 + 753x43 + 821x44 + 15x45 + 456x46 + 413x47 + 913x48 + 844x49 + 583x50 + 782x51 + 383x52 + 488x53 + 985x54 + 923x55 + 28x56 + 35x57 + 99x58 + 693x59 + 842x60 + 522x61 + 330x62 + 568x63 + 308x64 + 789x65 + 41x66 + 604x67 + 188x68 + 873x69 + 150x70 + 921x71 + 469x72 + 371x73 + 352x74 + 821x75 + 359x76 + 432x77 + 146x78 + 69x79 + 183x80 + 766x81 + 404x82 + 141x83 + 851x84 + 379x85 + 838x86 + 905x87 + 935x88 + 127x89 + 116x90 + 591x91 + 209x92 + 635x93 + 193x94 + 163x95 + 100x96 + 759x97 + 443x98 + 305x99 + 215x100 <= 12340 
constr3: + 228x1 + 285x2 + 313x3 + 192x4 + 571x5 + 827x6 + 736x7 + 531x8 + 756x9 + 696x10 + 900x11 + 740x12 + 578x13 + 812x14 + 708x15 + 875x16 + 961x17 + 416x18 + 283x19 + 403x20 + 727x21 + 827x22 + 447x23 + 900x24 + 187x25 + 681x26 + 555x27 + 856x28 + 824x29 + 464x30 + 475x31 + 516x32 + 696x33 + 699x34 + 843x35 + 163x36 + 17x37 + 379x38 + 62x39 + 714x40 + 290x41 + 17x42 + 872x43 + 615x44 + 602x45 + 957x46 + 892x47 + 87x48 + 317x49 + 412x50 + 643x51 + 857x52 + 215x53 + 187x54 + 537x55 + 183x56 + 572x57 + 295x58 + 103x59 + 934x60 + 445x61 + 985x62 + 473x63 + 842x64 + 643x65 + 322x66 + 334x67 + 916x68 + 217x69 + 490x70 + 594x71 + 663x72 + 620x73 + 1x74 + 796x75 + 894x76 + 298x77 + 115x78 + 334x79 + 678x80 + 484x81 + 804x82 + 320x83 + 810x84 + 252x85 + 272x86 + 620x87 + 251x88 + 389x89 + 959x90 + 240x91 + 101x92 + 133x93 + 763x94 + 174x95 + 640x96 + 628x97 + 66x98 + 580x99 + 795x100 <= 12364 
constr4: + 796x1 + 148x2 + 478x3 + 66x4 + 319x5 + 306x6 + 583x7 + 318x8 + 510x9 + 902x10 + 394x11 + 187x12 + 494x13 + 985x14 + 511x15 + 546x16 + 252x17 + 11x18 + 100x19 + 744x20 + 426x21 + 746x22 + 121x23 + 656x24 + 117x25 + 16x26 + 328x27 + 50x28 + 377x29 + 841x30 + 737x31 + 198x32 + 665x33 + 503x34 + 575x35 + 487x36 + 488x37 + 903x38 + 277x39 + 504x40 + 335x41 + 136x42 + 527x43 + 25x44 + 125x45 + 688x46 + 368x47 + 390x48 + 457x49 + 804x50 + 551x51 + 483x52 + 784x53 + 955x54 + 281x55 + 66x56 + 860x57 + 843x58 + 6x59 + 561x60 + 627x61 + 255x62 + 547x63 + 188x64 + 75x65 + 77x66 + 3x67 + 831x68 + 975x69 + 914x70 + 397x71 + 112x72 + 212x73 + 691x74 + 524x75 + 255x76 + 488x77 + 634x78 + 561x79 + 677x80 + 663x81 + 149x82 + 602x83 + 685x84 + 781x85 + 751x86 + 983x87 + 806x88 + 172x89 + 499x90 + 561x91 + 812x92 + 404x93 + 404x94 + 354x95 + 170x96 + 731x97 + 407x98 + 386x99 + 617x100 <= 13137 
constr5: + 165x1 + 900x2 + 520x3 + 797x4 + 868x5 + 6x6 + 128x7 + 570x8 + 335x9 + 518x10 + 650x11 + 187x12 + 75x13 + 928x14 + 35x15 + 793x16 + 504x17 + 330x18 + 581x19 + 826x20 + 597x21 + 786x22 + 314x23 + 637x24 + 281x25 + 871x26 + 613x27 + 104x28 + 297x29 + 137x30 + 757x31 + 69x32 + 501x33 + 696x34 + 826x35 + 342x36 + 754x37 + 991x38 + 388x39 + 622x40 + 950x41 + 781x42 + 63x43 + 635x44 + 549x45 + 199x46 + 86x47 + 533x48 + 72x49 + 207x50 + 210x51 + 440x52 + 782x53 + 603x54 + 898x55 + 474x56 + 498x57 + 766x58 + 384x59 + 836x60 + 395x61 + 840x62 + 864x63 + 345x64 + 874x65 + 597x66 + 856x67 + 456x68 + 174x69 + 222x70 + 670x71 + 890x72 + 887x73 + 826x74 + 741x75 + 714x76 + 973x77 + 355x78 + 822x79 + 600x80 + 671x81 + 641x82 + 271x83 + 780x84 + 827x85 + 431x86 + 796x87 + 67x88 + 409x89 + 880x90 + 56x91 + 756x92 + 54x93 + 511x94 + 99x95 + 536x96 + 778x97 + 146x98 + 633x99 + 620x100 <= 12523 
binaries 
x1 
x2 
x3 
x4 
x5 
x6 
x7 
x8 
x9 
x10 
x11 
x12 
x13 
x14 
x15 
x16 
x17 
x18 
x19 
x20 
x21 
x22 
x23 
x24 
x25 
x26 
x27 
x28 
x29 
x30 
x31 
x32 
x33 
x34 
x35 
x36 
x37 
x38 
x39 
x40 
x41 
x42 
x43 
x44 
x45 
x46 
x47 
x48 
x49 
x50 
x51 
x52 
x53 
x54 
x55 
x56 
x57 
x58 
x59 
x60 
x61 
x62 
x63 
x64 
x65 
x66 
x67 
x68 
x69 
x70 
x71 
x72 
x73 
x74 
x75 
x76 
x77 
x78 
x79 
x80 
x81 
x82 
x83 
x84 
x85 
x86 
x87 
x88 
x89 
x90 
x91 
x92 
x93 
x94 
x95 
x96 
x97 
x98 
x99 
x100 
end