minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37207.738000 
s2: s + 0.001000f1 + 0.501000f2 >= 37207.738000 
f1: -f1 + 673x1 + 721x2 + 533x3 + 646x4 + 667x5 + 561x6 + 975x7 + 616x8 + 877x9 + 834x10 + 1016x11 + 528x12 + 799x13 + 885x14 + 785x15 + 753x16 + 656x17 + 600x18 + 633x19 + 696x20 + 629x21 + 575x22 + 764x23 + 891x24 + 896x25 + 540x26 + 666x27 + 652x28 + 1091x29 + 609x30 + 827x31 + 779x32 + 916x33 + 687x34 + 919x35 + 881x36 + 994x37 + 735x38 + 555x39 + 610x40 + 677x41 + 806x42 + 663x43 + 694x44 + 547x45 + 967x46 + 810x47 + 515x48 + 896x49 + 730x50 + 573x51 + 618x52 + 567x53 + 928x54 + 996x55 + 822x56 + 607x57 + 669x58 + 471x59 + 444x60 + 835x61 + 987x62 + 544x63 + 720x64 + 827x65 + 852x66 + 939x67 + 797x68 + 569x69 + 456x70 + 819x71 + 464x72 + 716x73 + 949x74 + 995x75 + 697x76 + 632x77 + 992x78 + 445x79 + 878x80 + 664x81 + 727x82 + 566x83 + 476x84 + 743x85 + 764x86 + 863x87 + 652x88 + 817x89 + 1003x90 + 1141x91 + 1023x92 + 899x93 + 690x94 + 744x95 + 780x96 + 820x97 + 964x98 + 392x99 + 608x100  = 0 
f2: -f2 + 666x1 + 987x2 + 547x3 + 817x4 + 515x5 + 561x6 + 797x7 + 967x8 + 992x9 + 618x10 + 810x11 + 610x12 + 1091x13 + 764x14 + 600x15 + 471x16 + 694x17 + 995x18 + 964x19 + 673x20 + 877x21 + 567x22 + 743x23 + 730x24 + 464x25 + 566x26 + 632x27 + 690x28 + 540x29 + 476x30 + 996x31 + 544x32 + 727x33 + 608x34 + 609x35 + 721x36 + 834x37 + 533x38 + 569x39 + 885x40 + 753x41 + 444x42 + 652x43 + 697x44 + 878x45 + 780x46 + 863x47 + 575x48 + 667x49 + 949x50 + 939x51 + 1141x52 + 616x53 + 445x54 + 664x55 + 646x56 + 899x57 + 663x58 + 799x59 + 975x60 + 735x61 + 820x62 + 881x63 + 573x64 + 994x65 + 656x66 + 716x67 + 852x68 + 822x69 + 928x70 + 607x71 + 687x72 + 916x73 + 392x74 + 677x75 + 1016x76 + 896x77 + 827x78 + 744x79 + 896x80 + 555x81 + 835x82 + 827x83 + 669x84 + 629x85 + 785x86 + 528x87 + 652x88 + 720x89 + 1003x90 + 779x91 + 819x92 + 633x93 + 456x94 + 1023x95 + 919x96 + 806x97 + 696x98 + 891x99 + 764x100  = 0 
constr1: + 292x1 + 853x2 + 809x3 + 520x4 + 99x5 + 156x6 + 969x7 + 648x8 + 138x9 + 950x10 + 936x11 + 296x12 + 36x13 + 314x14 + 612x15 + 709x16 + 965x17 + 799x18 + 900x19 + 788x20 + 211x21 + 171x22 + 36x23 + 201x24 + 951x25 + 591x26 + 203x27 + 91x28 + 246x29 + 695x30 + 366x31 + 611x32 + 252x33 + 196x34 + 692x35 + 522x36 + 318x37 + 91x38 + 34x39 + 299x40 + 845x41 + 446x42 + 391x43 + 227x44 + 824x45 + 641x46 + 590x47 + 862x48 + 33x49 + 964x50 + 473x51 + 771x52 + 221x53 + 669x54 + 771x55 + 884x56 + 278x57 + 605x58 + 403x59 + 889x60 + 762x61 + 920x62 + 933x63 + 229x64 + 643x65 + 359x66 + 834x67 + 621x68 + 103x69 + 920x70 + 430x71 + 14x72 + 928x73 + 955x74 + 519x75 + 678x76 + 507x77 + 260x78 + 43x79 + 56x80 + 339x81 + 830x82 + 977x83 + 114x84 + 909x85 + 588x86 + 428x87 + 928x88 + 396x89 + 808x90 + 93x91 + 769x92 + 428x93 + 422x94 + 711x95 + 175x96 + 833x97 + 391x98 + 867x99 + 401x100 <= 25934 
constr2: + 316x1 + 527x2 + 763x3 + 405x4 + 106x5 + 291x6 + 543x7 + 199x8 + 815x9 + 845x10 + 647x11 + 784x12 + 860x13 + 744x14 + 331x15 + 612x16 + 766x17 + 445x18 + 939x19 + 134x20 + 340x21 + 221x22 + 510x23 + 753x24 + 699x25 + 977x26 + 976x27 + 897x28 + 180x29 + 901x30 + 869x31 + 385x32 + 315x33 + 918x34 + 105x35 + 381x36 + 944x37 + 625x38 + 730x39 + 655x40 + 840x41 + 550x42 + 275x43 + 421x44 + 554x45 + 727x46 + 545x47 + 7x48 + 316x49 + 323x50 + 783x51 + 363x52 + 134x53 + 7x54 + 339x55 + 306x56 + 820x57 + 770x58 + 569x59 + 746x60 + 206x61 + 334x62 + 309x63 + 597x64 + 282x65 + 396x66 + 195x67 + 271x68 + 374x69 + 926x70 + 105x71 + 82x72 + 240x73 + 133x74 + 746x75 + 171x76 + 912x77 + 35x78 + 51x79 + 251x80 + 667x81 + 928x82 + 735x83 + 577x84 + 216x85 + 607x86 + 732x87 + 797x88 + 949x89 + 263x90 + 165x91 + 501x92 + 696x93 + 429x94 + 521x95 + 275x96 + 248x97 + 375x98 + 657x99 + 426x100 <= 24709 
constr3: + 38x1 + 868x2 + 674x3 + 847x4 + 824x5 + 366x6 + 820x7 + 67x8 + 564x9 + 618x10 + 61x11 + 768x12 + 545x13 + 719x14 + 101x15 + 851x16 + 853x17 + 250x18 + 279x19 + 14x20 + 199x21 + 538x22 + 392x23 + 463x24 + 279x25 + 532x26 + 45x27 + 87x28 + 635x29 + 799x30 + 812x31 + 909x32 + 593x33 + 511x34 + 392x35 + 979x36 + 98x37 + 555x38 + 743x39 + 22x40 + 58x41 + 257x42 + 725x43 + 912x44 + 996x45 + 991x46 + 433x47 + 895x48 + 354x49 + 626x50 + 341x51 + 637x52 + 103x53 + 873x54 + 128x55 + 792x56 + 15x57 + 536x58 + 253x59 + 482x60 + 540x61 + 904x62 + 588x63 + 49x64 + 497x65 + 340x66 + 638x67 + 110x68 + 528x69 + 251x70 + 147x71 + 511x72 + 990x73 + 955x74 + 198x75 + 30x76 + 211x77 + 986x78 + 621x79 + 370x80 + 877x81 + 772x82 + 371x83 + 435x84 + 948x85 + 522x86 + 48x87 + 137x88 + 85x89 + 632x90 + 238x91 + 940x92 + 753x93 + 220x94 + 220x95 + 11x96 + 614x97 + 348x98 + 581x99 + 879x100 <= 23644 
constr4: + 624x1 + 417x2 + 722x3 + 486x4 + 699x5 + 634x6 + 444x7 + 767x8 + 12x9 + 872x10 + 240x11 + 618x12 + 626x13 + 71x14 + 644x15 + 217x16 + 858x17 + 819x18 + 473x19 + 751x20 + 121x21 + 672x22 + 556x23 + 766x24 + 469x25 + 60x26 + 992x27 + 481x28 + 780x29 + 713x30 + 520x31 + 18x32 + 873x33 + 686x34 + 128x35 + 220x36 + 900x37 + 285x38 + 387x39 + 151x40 + 872x41 + 668x42 + 172x43 + 641x44 + 861x45 + 886x46 + 39x47 + 673x48 + 29x49 + 913x50 + 519x51 + 44x52 + 481x53 + 408x54 + 376x55 + 171x56 + 28x57 + 481x58 + 333x59 + 640x60 + 77x61 + 958x62 + 209x63 + 902x64 + 583x65 + 870x66 + 223x67 + 465x68 + 907x69 + 379x70 + 172x71 + 552x72 + 338x73 + 379x74 + 306x75 + 576x76 + 533x77 + 1x78 + 317x79 + 746x80 + 847x81 + 788x82 + 23x83 + 969x84 + 807x85 + 469x86 + 398x87 + 343x88 + 329x89 + 714x90 + 363x91 + 631x92 + 692x93 + 487x94 + 859x95 + 491x96 + 260x97 + 834x98 + 448x99 + 829x100 <= 25386 
constr5: + 886x1 + 435x2 + 155x3 + 590x4 + 809x5 + 701x6 + 187x7 + 654x8 + 963x9 + 370x10 + 690x11 + 861x12 + 625x13 + 243x14 + 348x15 + 770x16 + 466x17 + 880x18 + 981x19 + 44x20 + 2x21 + 588x22 + 608x23 + 891x24 + 401x25 + 326x26 + 466x27 + 571x28 + 274x29 + 505x30 + 413x31 + 46x32 + 62x33 + 699x34 + 615x35 + 592x36 + 633x37 + 952x38 + 739x39 + 98x40 + 706x41 + 830x42 + 301x43 + 578x44 + 30x45 + 303x46 + 136x47 + 184x48 + 148x49 + 916x50 + 465x51 + 225x52 + 847x53 + 631x54 + 259x55 + 917x56 + 737x57 + 575x58 + 259x59 + 587x60 + 805x61 + 534x62 + 844x63 + 457x64 + 730x65 + 668x66 + 555x67 + 591x68 + 92x69 + 579x70 + 841x71 + 19x72 + 188x73 + 674x74 + 166x75 + 564x76 + 814x77 + 205x78 + 554x79 + 938x80 + 656x81 + 969x82 + 436x83 + 442x84 + 120x85 + 395x86 + 77x87 + 109x88 + 60x89 + 584x90 + 996x91 + 439x92 + 114x93 + 508x94 + 434x95 + 658x96 + 80x97 + 485x98 + 45x99 + 722x100 <= 25279 
constr6: + 509x1 + 277x2 + 932x3 + 78x4 + 856x5 + 760x6 + 274x7 + 4x8 + 742x9 + 258x10 + 675x11 + 576x12 + 52x13 + 503x14 + 106x15 + 25x16 + 950x17 + 459x18 + 952x19 + 954x20 + 506x21 + 72x22 + 138x23 + 731x24 + 554x25 + 235x26 + 391x27 + 480x28 + 364x29 + 877x30 + 181x31 + 583x32 + 843x33 + 740x34 + 251x35 + 948x36 + 941x37 + 505x38 + 670x39 + 14x40 + 269x41 + 681x42 + 638x43 + 969x44 + 240x45 + 7x46 + 648x47 + 420x48 + 266x49 + 374x50 + 563x51 + 259x52 + 473x53 + 114x54 + 821x55 + 141x56 + 470x57 + 494x58 + 158x59 + 156x60 + 346x61 + 901x62 + 314x63 + 354x64 + 4x65 + 364x66 + 338x67 + 680x68 + 814x69 + 931x70 + 793x71 + 222x72 + 607x73 + 242x74 + 945x75 + 281x76 + 208x77 + 80x78 + 77x79 + 790x80 + 10x81 + 147x82 + 878x83 + 898x84 + 611x85 + 661x86 + 337x87 + 196x88 + 599x89 + 771x90 + 309x91 + 943x92 + 291x93 + 271x94 + 311x95 + 730x96 + 866x97 + 677x98 + 736x99 + 890x100 <= 24776 
constr7: + 547x1 + 764x2 + 397x3 + 952x4 + 703x5 + 24x6 + 458x7 + 472x8 + 108x9 + 56x10 + 190x11 + 33x12 + 25x13 + 73x14 + 438x15 + 302x16 + 648x17 + 149x18 + 138x19 + 713x20 + 265x21 + 210x22 + 96x23 + 668x24 + 950x25 + 547x26 + 656x27 + 895x28 + 230x29 + 148x30 + 608x31 + 855x32 + 821x33 + 256x34 + 503x35 + 578x36 + 168x37 + 972x38 + 371x39 + 278x40 + 459x41 + 923x42 + 310x43 + 762x44 + 438x45 + 675x46 + 146x47 + 689x48 + 825x49 + 740x50 + 627x51 + 652x52 + 646x53 + 966x54 + 28x55 + 79x56 + 917x57 + 650x58 + 686x59 + 193x60 + 319x61 + 805x62 + 582x63 + 119x64 + 534x65 + 947x66 + 678x67 + 879x68 + 577x69 + 72x70 + 913x71 + 455x72 + 19x73 + 950x74 + 49x75 + 518x76 + 963x77 + 76x78 + 707x79 + 527x80 + 932x81 + 907x82 + 784x83 + 507x84 + 955x85 + 89x86 + 300x87 + 558x88 + 342x89 + 432x90 + 696x91 + 903x92 + 33x93 + 550x94 + 114x95 + 370x96 + 649x97 + 108x98 + 873x99 + 623x100 <= 25273 
constr8: + 30x1 + 418x2 + 84x3 + 650x4 + 461x5 + 910x6 + 386x7 + 517x8 + 911x9 + 775x10 + 850x11 + 485x12 + 361x13 + 406x14 + 247x15 + 402x16 + 28x17 + 912x18 + 504x19 + 334x20 + 607x21 + 28x22 + 737x23 + 903x24 + 393x25 + 326x26 + 562x27 + 440x28 + 177x29 + 864x30 + 165x31 + 430x32 + 176x33 + 966x34 + 963x35 + 565x36 + 659x37 + 679x38 + 478x39 + 370x40 + 531x41 + 137x42 + 198x43 + 369x44 + 767x45 + 356x46 + 710x47 + 143x48 + 191x49 + 868x50 + 757x51 + 839x52 + 97x53 + 561x54 + 112x55 + 878x56 + 838x57 + 656x58 + 885x59 + 969x60 + 948x61 + 122x62 + 831x63 + 316x64 + 307x65 + 458x66 + 471x67 + 819x68 + 842x69 + 921x70 + 271x71 + 19x72 + 497x73 + 347x74 + 271x75 + 336x76 + 279x77 + 649x78 + 74x79 + 663x80 + 732x81 + 359x82 + 888x83 + 571x84 + 557x85 + 558x86 + 180x87 + 553x88 + 205x89 + 458x90 + 133x91 + 270x92 + 760x93 + 515x94 + 111x95 + 990x96 + 113x97 + 213x98 + 545x99 + 325x100 <= 20823 
constr9: + 59x1 + 124x2 + 982x3 + 42x4 + 256x5 + 818x6 + 734x7 + 865x8 + 129x9 + 332x10 + 905x11 + 759x12 + 198x13 + 625x14 + 230x15 + 370x16 + 86x17 + 568x18 + 186x19 + 229x20 + 211x21 + 809x22 + 988x23 + 615x24 + 323x25 + 169x26 + 808x27 + 11x28 + 935x29 + 89x30 + 886x31 + 239x32 + 741x33 + 597x34 + 785x35 + 496x36 + 320x37 + 799x38 + 546x39 + 363x40 + 125x41 + 420x42 + 445x43 + 43x44 + 998x45 + 795x46 + 97x47 + 23x48 + 272x49 + 603x50 + 955x51 + 347x52 + 255x53 + 820x54 + 681x55 + 317x56 + 207x57 + 491x58 + 297x59 + 879x60 + 402x61 + 641x62 + 58x63 + 602x64 + 79x65 + 707x66 + 175x67 + 326x68 + 911x69 + 329x70 + 505x71 + 565x72 + 1000x73 + 56x74 + 148x75 + 192x76 + 620x77 + 250x78 + 31x79 + 270x80 + 785x81 + 363x82 + 766x83 + 698x84 + 337x85 + 348x86 + 202x87 + 379x88 + 321x89 + 747x90 + 549x91 + 764x92 + 580x93 + 742x94 + 353x95 + 204x96 + 471x97 + 453x98 + 584x99 + 70x100 <= 27399 
constr10: + 516x1 + 356x2 + 832x3 + 235x4 + 770x5 + 656x6 + 489x7 + 865x8 + 555x9 + 582x10 + 545x11 + 24x12 + 718x13 + 621x14 + 818x15 + 87x16 + 401x17 + 800x18 + 27x19 + 448x20 + 531x21 + 504x22 + 215x23 + 54x24 + 570x25 + 424x26 + 75x27 + 84x28 + 884x29 + 878x30 + 738x31 + 751x32 + 232x33 + 182x34 + 515x35 + 16x36 + 172x37 + 776x38 + 864x39 + 278x40 + 735x41 + 791x42 + 726x43 + 120x44 + 262x45 + 594x46 + 914x47 + 509x48 + 425x49 + 397x50 + 320x51 + 886x52 + 245x53 + 303x54 + 275x55 + 704x56 + 706x57 + 331x58 + 571x59 + 333x60 + 260x61 + 202x62 + 688x63 + 401x64 + 484x65 + 469x66 + 330x67 + 207x68 + 550x69 + 45x70 + 762x71 + 172x72 + 531x73 + 445x74 + 616x75 + 361x76 + 142x77 + 957x78 + 37x79 + 140x80 + 929x81 + 15x82 + 368x83 + 878x84 + 743x85 + 555x86 + 500x87 + 803x88 + 970x89 + 965x90 + 734x91 + 823x92 + 188x93 + 940x94 + 873x95 + 485x96 + 832x97 + 10x98 + 892x99 + 768x100 <= 25398 
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