minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 39957.694000 
s2: s + 0.001000f1 + 0.501000f2 >= 39957.694000 
f1: -f1 + 845x1 + 791x2 + 1028x3 + 822x4 + 592x5 + 552x6 + 757x7 + 778x8 + 771x9 + 714x10 + 843x11 + 909x12 + 1080x13 + 694x14 + 718x15 + 581x16 + 589x17 + 1116x18 + 692x19 + 957x20 + 500x21 + 981x22 + 998x23 + 766x24 + 787x25 + 748x26 + 809x27 + 940x28 + 756x29 + 942x30 + 826x31 + 841x32 + 760x33 + 866x34 + 830x35 + 721x36 + 875x37 + 675x38 + 588x39 + 956x40 + 691x41 + 655x42 + 659x43 + 786x44 + 955x45 + 683x46 + 861x47 + 827x48 + 1122x49 + 840x50 + 825x51 + 772x52 + 671x53 + 836x54 + 672x55 + 859x56 + 932x57 + 927x58 + 582x59 + 852x60 + 870x61 + 840x62 + 879x63 + 808x64 + 763x65 + 714x66 + 722x67 + 872x68 + 780x69 + 797x70 + 858x71 + 771x72 + 828x73 + 608x74 + 859x75 + 571x76 + 720x77 + 668x78 + 601x79 + 905x80 + 930x81 + 602x82 + 706x83 + 981x84 + 872x85 + 810x86 + 1067x87 + 771x88 + 758x89 + 945x90 + 804x91 + 698x92 + 862x93 + 666x94 + 728x95 + 862x96 + 901x97 + 639x98 + 734x99 + 826x100  = 0 
f2: -f2 + 659x1 + 808x2 + 809x3 + 942x4 + 981x5 + 845x6 + 879x7 + 872x8 + 639x9 + 722x10 + 672x11 + 589x12 + 666x13 + 810x14 + 771x15 + 714x16 + 825x17 + 852x18 + 786x19 + 694x20 + 757x21 + 698x22 + 601x23 + 826x24 + 780x25 + 862x26 + 858x27 + 940x28 + 718x29 + 905x30 + 1116x31 + 955x32 + 748x33 + 1080x34 + 822x35 + 836x36 + 720x37 + 827x38 + 859x39 + 956x40 + 691x41 + 728x42 + 692x43 + 1028x44 + 901x45 + 608x46 + 683x47 + 866x48 + 588x49 + 945x50 + 655x51 + 571x52 + 771x53 + 771x54 + 998x55 + 843x56 + 582x57 + 875x58 + 830x59 + 778x60 + 791x61 + 500x62 + 758x63 + 932x64 + 592x65 + 1122x66 + 862x67 + 772x68 + 734x69 + 909x70 + 927x71 + 760x72 + 581x73 + 841x74 + 981x75 + 763x76 + 721x77 + 930x78 + 706x79 + 671x80 + 766x81 + 675x82 + 861x83 + 668x84 + 872x85 + 797x86 + 840x87 + 840x88 + 957x89 + 828x90 + 826x91 + 787x92 + 602x93 + 870x94 + 1067x95 + 714x96 + 552x97 + 756x98 + 804x99 + 859x100  = 0 
constr1: + 473x1 + 381x2 + 964x3 + 869x4 + 503x5 + 573x6 + 618x7 + 205x8 + 577x9 + 765x10 + 386x11 + 806x12 + 566x13 + 441x14 + 648x15 + 35x16 + 343x17 + 820x18 + 219x19 + 994x20 + 386x21 + 160x22 + 416x23 + 975x24 + 985x25 + 296x26 + 711x27 + 135x28 + 810x29 + 593x30 + 674x31 + 687x32 + 302x33 + 370x34 + 747x35 + 757x36 + 676x37 + 281x38 + 453x39 + 308x40 + 654x41 + 775x42 + 904x43 + 115x44 + 881x45 + 745x46 + 968x47 + 188x48 + 327x49 + 175x50 + 508x51 + 94x52 + 119x53 + 455x54 + 593x55 + 494x56 + 209x57 + 673x58 + 846x59 + 656x60 + 252x61 + 202x62 + 696x63 + 648x64 + 154x65 + 108x66 + 302x67 + 894x68 + 449x69 + 2x70 + 75x71 + 699x72 + 194x73 + 262x74 + 489x75 + 319x76 + 619x77 + 765x78 + 867x79 + 293x80 + 903x81 + 536x82 + 232x83 + 387x84 + 323x85 + 435x86 + 445x87 + 741x88 + 840x89 + 311x90 + 625x91 + 777x92 + 134x93 + 961x94 + 560x95 + 994x96 + 685x97 + 395x98 + 243x99 + 455x100 <= 26525 
constr2: + 329x1 + 968x2 + 917x3 + 451x4 + 698x5 + 451x6 + 534x7 + 64x8 + 917x9 + 732x10 + 459x11 + 242x12 + 499x13 + 504x14 + 617x15 + 651x16 + 480x17 + 237x18 + 739x19 + 583x20 + 260x21 + 823x22 + 999x23 + 481x24 + 508x25 + 582x26 + 399x27 + 821x28 + 417x29 + 796x30 + 915x31 + 517x32 + 950x33 + 441x34 + 452x35 + 687x36 + 996x37 + 993x38 + 496x39 + 555x40 + 567x41 + 658x42 + 723x43 + 495x44 + 760x45 + 529x46 + 450x47 + 276x48 + 692x49 + 157x50 + 215x51 + 752x52 + 570x53 + 280x54 + 418x55 + 308x56 + 974x57 + 835x58 + 325x59 + 358x60 + 898x61 + 936x62 + 429x63 + 207x64 + 442x65 + 551x66 + 894x67 + 516x68 + 893x69 + 828x70 + 253x71 + 511x72 + 89x73 + 878x74 + 734x75 + 789x76 + 54x77 + 376x78 + 926x79 + 31x80 + 24x81 + 922x82 + 448x83 + 923x84 + 895x85 + 678x86 + 961x87 + 138x88 + 128x89 + 77x90 + 414x91 + 833x92 + 164x93 + 34x94 + 483x95 + 979x96 + 742x97 + 620x98 + 308x99 + 660x100 <= 25120 
constr3: + 827x1 + 982x2 + 480x3 + 201x4 + 79x5 + 320x6 + 798x7 + 319x8 + 847x9 + 357x10 + 939x11 + 155x12 + 341x13 + 726x14 + 406x15 + 467x16 + 477x17 + 93x18 + 539x19 + 417x20 + 432x21 + 236x22 + 751x23 + 18x24 + 426x25 + 254x26 + 79x27 + 33x28 + 942x29 + 843x30 + 64x31 + 547x32 + 687x33 + 391x34 + 38x35 + 282x36 + 855x37 + 289x38 + 279x39 + 53x40 + 899x41 + 142x42 + 711x43 + 276x44 + 594x45 + 46x46 + 563x47 + 775x48 + 323x49 + 907x50 + 648x51 + 862x52 + 550x53 + 375x54 + 829x55 + 719x56 + 912x57 + 821x58 + 331x59 + 293x60 + 130x61 + 613x62 + 793x63 + 174x64 + 280x65 + 514x66 + 228x67 + 138x68 + 516x69 + 694x70 + 496x71 + 537x72 + 842x73 + 930x74 + 83x75 + 412x76 + 180x77 + 665x78 + 57x79 + 761x80 + 950x81 + 852x82 + 743x83 + 553x84 + 481x85 + 285x86 + 722x87 + 715x88 + 98x89 + 415x90 + 527x91 + 952x92 + 106x93 + 161x94 + 235x95 + 167x96 + 990x97 + 937x98 + 506x99 + 233x100 <= 24280 
constr4: + 739x1 + 632x2 + 791x3 + 923x4 + 179x5 + 63x6 + 255x7 + 765x8 + 657x9 + 218x10 + 350x11 + 437x12 + 982x13 + 667x14 + 753x15 + 531x16 + 660x17 + 73x18 + 707x19 + 764x20 + 20x21 + 775x22 + 855x23 + 824x24 + 552x25 + 274x26 + 81x27 + 36x28 + 680x29 + 5x30 + 380x31 + 159x32 + 143x33 + 935x34 + 811x35 + 950x36 + 269x37 + 458x38 + 410x39 + 145x40 + 772x41 + 644x42 + 412x43 + 294x44 + 997x45 + 783x46 + 813x47 + 12x48 + 363x49 + 602x50 + 95x51 + 463x52 + 573x53 + 152x54 + 831x55 + 120x56 + 942x57 + 62x58 + 287x59 + 52x60 + 414x61 + 471x62 + 69x63 + 259x64 + 161x65 + 930x66 + 992x67 + 304x68 + 708x69 + 369x70 + 311x71 + 925x72 + 813x73 + 201x74 + 932x75 + 470x76 + 699x77 + 15x78 + 978x79 + 83x80 + 431x81 + 639x82 + 213x83 + 25x84 + 739x85 + 180x86 + 481x87 + 520x88 + 498x89 + 134x90 + 776x91 + 492x92 + 282x93 + 221x94 + 279x95 + 758x96 + 968x97 + 385x98 + 679x99 + 962x100 <= 25265 
constr5: + 848x1 + 521x2 + 544x3 + 300x4 + 19x5 + 194x6 + 39x7 + 64x8 + 280x9 + 661x10 + 219x11 + 847x12 + 539x13 + 636x14 + 815x15 + 160x16 + 74x17 + 824x18 + 960x19 + 529x20 + 793x21 + 410x22 + 592x23 + 354x24 + 386x25 + 154x26 + 446x27 + 921x28 + 687x29 + 11x30 + 170x31 + 622x32 + 568x33 + 866x34 + 988x35 + 455x36 + 186x37 + 580x38 + 388x39 + 211x40 + 372x41 + 614x42 + 969x43 + 553x44 + 458x45 + 725x46 + 260x47 + 80x48 + 244x49 + 398x50 + 747x51 + 302x52 + 933x53 + 581x54 + 41x55 + 963x56 + 71x57 + 464x58 + 867x59 + 517x60 + 587x61 + 19x62 + 275x63 + 189x64 + 548x65 + 516x66 + 582x67 + 558x68 + 3x69 + 246x70 + 320x71 + 435x72 + 850x73 + 545x74 + 677x75 + 551x76 + 116x77 + 782x78 + 95x79 + 941x80 + 768x81 + 269x82 + 989x83 + 208x84 + 508x85 + 520x86 + 448x87 + 714x88 + 150x89 + 271x90 + 158x91 + 887x92 + 923x93 + 245x94 + 289x95 + 56x96 + 498x97 + 743x98 + 456x99 + 267x100 <= 26205 
constr6: + 742x1 + 268x2 + 845x3 + 420x4 + 583x5 + 511x6 + 522x7 + 94x8 + 433x9 + 687x10 + 700x11 + 910x12 + 883x13 + 870x14 + 15x15 + 204x16 + 359x17 + 912x18 + 588x19 + 364x20 + 172x21 + 392x22 + 423x23 + 28x24 + 107x25 + 299x26 + 176x27 + 352x28 + 444x29 + 250x30 + 436x31 + 623x32 + 424x33 + 523x34 + 372x35 + 261x36 + 846x37 + 310x38 + 51x39 + 9x40 + 809x41 + 98x42 + 594x43 + 815x44 + 806x45 + 191x46 + 766x47 + 221x48 + 424x49 + 899x50 + 78x51 + 896x52 + 173x53 + 480x54 + 423x55 + 294x56 + 225x57 + 987x58 + 842x59 + 763x60 + 352x61 + 92x62 + 875x63 + 551x64 + 710x65 + 819x66 + 602x67 + 644x68 + 585x69 + 23x70 + 500x71 + 426x72 + 212x73 + 78x74 + 361x75 + 253x76 + 636x77 + 866x78 + 189x79 + 452x80 + 876x81 + 728x82 + 928x83 + 10x84 + 450x85 + 106x86 + 632x87 + 78x88 + 258x89 + 228x90 + 141x91 + 700x92 + 608x93 + 632x94 + 146x95 + 660x96 + 840x97 + 124x98 + 752x99 + 89x100 <= 25477 
constr7: + 101x1 + 904x2 + 276x3 + 155x4 + 899x5 + 640x6 + 733x7 + 351x8 + 730x9 + 626x10 + 520x11 + 821x12 + 761x13 + 818x14 + 450x15 + 170x16 + 514x17 + 260x18 + 141x19 + 510x20 + 68x21 + 412x22 + 61x23 + 475x24 + 794x25 + 637x26 + 939x27 + 851x28 + 523x29 + 181x30 + 156x31 + 929x32 + 770x33 + 461x34 + 425x35 + 709x36 + 870x37 + 92x38 + 527x39 + 299x40 + 473x41 + 515x42 + 726x43 + 922x44 + 867x45 + 527x46 + 459x47 + 591x48 + 671x49 + 28x50 + 952x51 + 66x52 + 962x53 + 119x54 + 713x55 + 189x56 + 929x57 + 122x58 + 336x59 + 498x60 + 426x61 + 490x62 + 424x63 + 60x64 + 432x65 + 937x66 + 739x67 + 427x68 + 489x69 + 854x70 + 469x71 + 586x72 + 201x73 + 778x74 + 952x75 + 114x76 + 247x77 + 923x78 + 913x79 + 543x80 + 917x81 + 84x82 + 368x83 + 16x84 + 402x85 + 345x86 + 138x87 + 466x88 + 441x89 + 261x90 + 489x91 + 147x92 + 258x93 + 837x94 + 520x95 + 89x96 + 102x97 + 356x98 + 921x99 + 595x100 <= 23982 
constr8: + 994x1 + 441x2 + 32x3 + 912x4 + 780x5 + 672x6 + 144x7 + 672x8 + 861x9 + 46x10 + 466x11 + 828x12 + 411x13 + 982x14 + 202x15 + 331x16 + 432x17 + 338x18 + 976x19 + 680x20 + 479x21 + 603x22 + 46x23 + 905x24 + 996x25 + 446x26 + 893x27 + 224x28 + 307x29 + 635x30 + 630x31 + 996x32 + 294x33 + 935x34 + 99x35 + 487x36 + 505x37 + 601x38 + 998x39 + 399x40 + 103x41 + 550x42 + 711x43 + 448x44 + 941x45 + 735x46 + 176x47 + 694x48 + 460x49 + 47x50 + 898x51 + 933x52 + 578x53 + 40x54 + 88x55 + 299x56 + 783x57 + 405x58 + 944x59 + 298x60 + 906x61 + 968x62 + 143x63 + 457x64 + 555x65 + 348x66 + 460x67 + 786x68 + 393x69 + 849x70 + 762x71 + 987x72 + 915x73 + 237x74 + 977x75 + 511x76 + 769x77 + 271x78 + 660x79 + 413x80 + 411x81 + 220x82 + 466x83 + 749x84 + 622x85 + 973x86 + 599x87 + 176x88 + 52x89 + 125x90 + 322x91 + 223x92 + 843x93 + 596x94 + 446x95 + 161x96 + 835x97 + 137x98 + 955x99 + 392x100 <= 25695 
constr9: + 385x1 + 487x2 + 537x3 + 412x4 + 680x5 + 463x6 + 662x7 + 744x8 + 31x9 + 607x10 + 184x11 + 715x12 + 210x13 + 46x14 + 606x15 + 595x16 + 108x17 + 419x18 + 180x19 + 122x20 + 34x21 + 549x22 + 570x23 + 249x24 + 959x25 + 419x26 + 556x27 + 329x28 + 159x29 + 651x30 + 273x31 + 441x32 + 39x33 + 596x34 + 654x35 + 925x36 + 809x37 + 783x38 + 11x39 + 667x40 + 123x41 + 647x42 + 354x43 + 447x44 + 326x45 + 799x46 + 21x47 + 406x48 + 905x49 + 179x50 + 191x51 + 132x52 + 78x53 + 811x54 + 696x55 + 168x56 + 978x57 + 238x58 + 347x59 + 205x60 + 127x61 + 234x62 + 482x63 + 97x64 + 660x65 + 127x66 + 631x67 + 936x68 + 601x69 + 547x70 + 946x71 + 103x72 + 437x73 + 629x74 + 607x75 + 619x76 + 666x77 + 37x78 + 823x79 + 306x80 + 405x81 + 359x82 + 813x83 + 175x84 + 825x85 + 398x86 + 848x87 + 401x88 + 100x89 + 757x90 + 814x91 + 586x92 + 734x93 + 710x94 + 357x95 + 402x96 + 703x97 + 598x98 + 954x99 + 35x100 <= 23511 
constr10: + 650x1 + 740x2 + 818x3 + 564x4 + 702x5 + 624x6 + 143x7 + 443x8 + 490x9 + 902x10 + 291x11 + 225x12 + 48x13 + 791x14 + 295x15 + 683x16 + 563x17 + 269x18 + 146x19 + 971x20 + 494x21 + 848x22 + 790x23 + 878x24 + 378x25 + 651x26 + 121x27 + 702x28 + 923x29 + 758x30 + 398x31 + 399x32 + 690x33 + 468x34 + 739x35 + 643x36 + 690x37 + 308x38 + 275x39 + 248x40 + 949x41 + 410x42 + 827x43 + 335x44 + 142x45 + 93x46 + 335x47 + 957x48 + 662x49 + 585x50 + 573x51 + 915x52 + 906x53 + 340x54 + 615x55 + 728x56 + 609x57 + 874x58 + 971x59 + 180x60 + 177x61 + 659x62 + 788x63 + 869x64 + 897x65 + 458x66 + 256x67 + 100x68 + 6x69 + 335x70 + 458x71 + 471x72 + 248x73 + 564x74 + 279x75 + 806x76 + 820x77 + 145x78 + 371x79 + 928x80 + 825x81 + 58x82 + 636x83 + 717x84 + 942x85 + 581x86 + 851x87 + 68x88 + 144x89 + 127x90 + 881x91 + 988x92 + 878x93 + 134x94 + 870x95 + 597x96 + 200x97 + 406x98 + 657x99 + 567x100 <= 26096 
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