minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37293.580000 
s2: s + 0.001000f1 + 0.501000f2 >= 37293.580000 
f1: -f1 + 828x1 + 847x2 + 661x3 + 821x4 + 991x5 + 474x6 + 801x7 + 706x8 + 543x9 + 607x10 + 849x11 + 802x12 + 722x13 + 563x14 + 904x15 + 565x16 + 1084x17 + 805x18 + 837x19 + 481x20 + 612x21 + 622x22 + 689x23 + 948x24 + 865x25 + 827x26 + 745x27 + 828x28 + 931x29 + 649x30 + 732x31 + 752x32 + 749x33 + 806x34 + 707x35 + 615x36 + 602x37 + 841x38 + 1060x39 + 881x40 + 584x41 + 788x42 + 530x43 + 688x44 + 985x45 + 863x46 + 666x47 + 986x48 + 889x49 + 701x50 + 614x51 + 893x52 + 587x53 + 709x54 + 669x55 + 627x56 + 657x57 + 662x58 + 854x59 + 739x60 + 737x61 + 562x62 + 877x63 + 542x64 + 860x65 + 793x66 + 833x67 + 1088x68 + 1123x69 + 496x70 + 888x71 + 567x72 + 662x73 + 561x74 + 561x75 + 732x76 + 816x77 + 888x78 + 633x79 + 680x80 + 1148x81 + 772x82 + 890x83 + 532x84 + 609x85 + 658x86 + 824x87 + 900x88 + 646x89 + 710x90 + 914x91 + 678x92 + 674x93 + 643x94 + 459x95 + 515x96 + 446x97 + 941x98 + 814x99 + 575x100  = 0 
f2: -f2 + 1123x1 + 515x2 + 827x3 + 622x4 + 1088x5 + 888x6 + 542x7 + 772x8 + 614x9 + 446x10 + 662x11 + 801x12 + 646x13 + 814x14 + 666x15 + 706x16 + 561x17 + 877x18 + 602x19 + 1060x20 + 661x21 + 732x22 + 658x23 + 543x24 + 688x25 + 607x26 + 889x27 + 837x28 + 575x29 + 745x30 + 805x31 + 849x32 + 1148x33 + 561x34 + 627x35 + 481x36 + 530x37 + 587x38 + 816x39 + 678x40 + 562x41 + 986x42 + 752x43 + 722x44 + 565x45 + 863x46 + 854x47 + 649x48 + 931x49 + 701x50 + 563x51 + 865x52 + 633x53 + 788x54 + 584x55 + 709x56 + 1084x57 + 985x58 + 991x59 + 737x60 + 904x61 + 739x62 + 459x63 + 680x64 + 749x65 + 474x66 + 888x67 + 567x68 + 662x69 + 890x70 + 821x71 + 941x72 + 900x73 + 615x74 + 612x75 + 828x76 + 532x77 + 689x78 + 860x79 + 948x80 + 824x81 + 710x82 + 881x83 + 609x84 + 674x85 + 833x86 + 893x87 + 828x88 + 806x89 + 669x90 + 914x91 + 707x92 + 657x93 + 841x94 + 793x95 + 732x96 + 643x97 + 802x98 + 496x99 + 847x100  = 0 
constr1: + 812x1 + 187x2 + 926x3 + 509x4 + 19x5 + 969x6 + 619x7 + 87x8 + 843x9 + 306x10 + 692x11 + 531x12 + 23x13 + 503x14 + 337x15 + 593x16 + 803x17 + 998x18 + 911x19 + 539x20 + 523x21 + 352x22 + 982x23 + 977x24 + 875x25 + 64x26 + 113x27 + 197x28 + 767x29 + 825x30 + 24x31 + 342x32 + 618x33 + 758x34 + 183x35 + 790x36 + 873x37 + 714x38 + 470x39 + 902x40 + 31x41 + 464x42 + 112x43 + 439x44 + 272x45 + 890x46 + 695x47 + 888x48 + 297x49 + 132x50 + 365x51 + 693x52 + 916x53 + 975x54 + 186x55 + 916x56 + 847x57 + 649x58 + 851x59 + 745x60 + 35x61 + 250x62 + 143x63 + 961x64 + 568x65 + 278x66 + 226x67 + 560x68 + 725x69 + 784x70 + 379x71 + 957x72 + 242x73 + 563x74 + 632x75 + 19x76 + 472x77 + 649x78 + 767x79 + 472x80 + 614x81 + 158x82 + 301x83 + 583x84 + 828x85 + 284x86 + 833x87 + 608x88 + 897x89 + 878x90 + 760x91 + 741x92 + 151x93 + 399x94 + 505x95 + 677x96 + 76x97 + 459x98 + 967x99 + 835x100 <= 25125 
constr2: + 823x1 + 987x2 + 660x3 + 423x4 + 758x5 + 299x6 + 143x7 + 285x8 + 340x9 + 792x10 + 326x11 + 933x12 + 507x13 + 273x14 + 516x15 + 883x16 + 485x17 + 395x18 + 375x19 + 218x20 + 62x21 + 268x22 + 626x23 + 702x24 + 167x25 + 768x26 + 571x27 + 417x28 + 186x29 + 421x30 + 980x31 + 992x32 + 658x33 + 520x34 + 347x35 + 581x36 + 466x37 + 353x38 + 820x39 + 133x40 + 195x41 + 889x42 + 100x43 + 105x44 + 209x45 + 753x46 + 414x47 + 384x48 + 421x49 + 19x50 + 848x51 + 105x52 + 730x53 + 529x54 + 37x55 + 243x56 + 514x57 + 491x58 + 307x59 + 78x60 + 800x61 + 771x62 + 332x63 + 130x64 + 869x65 + 372x66 + 622x67 + 357x68 + 238x69 + 596x70 + 525x71 + 975x72 + 994x73 + 736x74 + 750x75 + 160x76 + 199x77 + 574x78 + 948x79 + 742x80 + 188x81 + 186x82 + 813x83 + 418x84 + 390x85 + 947x86 + 164x87 + 713x88 + 365x89 + 909x90 + 391x91 + 918x92 + 430x93 + 151x94 + 880x95 + 13x96 + 808x97 + 429x98 + 733x99 + 39x100 <= 28058 
constr3: + 11x1 + 82x2 + 270x3 + 326x4 + 110x5 + 993x6 + 424x7 + 234x8 + 149x9 + 953x10 + 865x11 + 234x12 + 477x13 + 8x14 + 161x15 + 406x16 + 111x17 + 597x18 + 592x19 + 589x20 + 968x21 + 612x22 + 529x23 + 576x24 + 241x25 + 901x26 + 179x27 + 534x28 + 903x29 + 828x30 + 777x31 + 168x32 + 962x33 + 425x34 + 369x35 + 556x36 + 704x37 + 455x38 + 351x39 + 820x40 + 753x41 + 838x42 + 56x43 + 230x44 + 194x45 + 899x46 + 569x47 + 291x48 + 676x49 + 989x50 + 960x51 + 819x52 + 341x53 + 616x54 + 296x55 + 365x56 + 196x57 + 876x58 + 759x59 + 409x60 + 622x61 + 548x62 + 538x63 + 288x64 + 398x65 + 250x66 + 69x67 + 657x68 + 166x69 + 728x70 + 653x71 + 836x72 + 810x73 + 358x74 + 737x75 + 312x76 + 724x77 + 480x78 + 258x79 + 823x80 + 230x81 + 7x82 + 817x83 + 503x84 + 734x85 + 30x86 + 591x87 + 241x88 + 867x89 + 5x90 + 244x91 + 99x92 + 531x93 + 703x94 + 723x95 + 88x96 + 310x97 + 365x98 + 434x99 + 317x100 <= 25836 
constr4: + 101x1 + 74x2 + 465x3 + 361x4 + 475x5 + 148x6 + 645x7 + 58x8 + 411x9 + 384x10 + 632x11 + 84x12 + 623x13 + 852x14 + 989x15 + 195x16 + 839x17 + 905x18 + 719x19 + 345x20 + 286x21 + 904x22 + 554x23 + 113x24 + 317x25 + 441x26 + 145x27 + 364x28 + 165x29 + 412x30 + 855x31 + 254x32 + 847x33 + 51x34 + 440x35 + 535x36 + 102x37 + 36x38 + 199x39 + 532x40 + 258x41 + 106x42 + 608x43 + 790x44 + 677x45 + 970x46 + 973x47 + 856x48 + 879x49 + 272x50 + 107x51 + 275x52 + 652x53 + 770x54 + 396x55 + 411x56 + 747x57 + 337x58 + 909x59 + 482x60 + 334x61 + 565x62 + 112x63 + 722x64 + 743x65 + 728x66 + 17x67 + 461x68 + 23x69 + 192x70 + 170x71 + 862x72 + 423x73 + 31x74 + 449x75 + 343x76 + 601x77 + 637x78 + 551x79 + 588x80 + 606x81 + 746x82 + 369x83 + 468x84 + 592x85 + 95x86 + 521x87 + 13x88 + 286x89 + 180x90 + 531x91 + 63x92 + 605x93 + 793x94 + 547x95 + 742x96 + 764x97 + 824x98 + 875x99 + 298x100 <= 25946 
constr5: + 635x1 + 336x2 + 296x3 + 664x4 + 758x5 + 742x6 + 202x7 + 189x8 + 365x9 + 80x10 + 579x11 + 131x12 + 272x13 + 868x14 + 951x15 + 129x16 + 515x17 + 814x18 + 162x19 + 549x20 + 502x21 + 293x22 + 593x23 + 591x24 + 148x25 + 883x26 + 679x27 + 717x28 + 997x29 + 191x30 + 775x31 + 638x32 + 470x33 + 965x34 + 878x35 + 786x36 + 790x37 + 26x38 + 600x39 + 406x40 + 505x41 + 587x42 + 1000x43 + 2x44 + 527x45 + 525x46 + 299x47 + 309x48 + 460x49 + 116x50 + 516x51 + 310x52 + 911x53 + 278x54 + 831x55 + 714x56 + 933x57 + 574x58 + 727x59 + 323x60 + 837x61 + 644x62 + 627x63 + 540x64 + 516x65 + 706x66 + 907x67 + 624x68 + 297x69 + 727x70 + 117x71 + 699x72 + 1000x73 + 878x74 + 500x75 + 278x76 + 744x77 + 438x78 + 782x79 + 229x80 + 743x81 + 57x82 + 268x83 + 194x84 + 611x85 + 471x86 + 443x87 + 970x88 + 345x89 + 875x90 + 415x91 + 501x92 + 368x93 + 442x94 + 13x95 + 232x96 + 549x97 + 137x98 + 38x99 + 748x100 <= 24539 
constr6: + 908x1 + 512x2 + 12x3 + 527x4 + 934x5 + 22x6 + 751x7 + 667x8 + 636x9 + 741x10 + 751x11 + 408x12 + 750x13 + 564x14 + 619x15 + 480x16 + 436x17 + 755x18 + 609x19 + 365x20 + 399x21 + 872x22 + 544x23 + 856x24 + 143x25 + 516x26 + 637x27 + 538x28 + 509x29 + 524x30 + 137x31 + 534x32 + 897x33 + 66x34 + 110x35 + 410x36 + 611x37 + 948x38 + 599x39 + 275x40 + 428x41 + 282x42 + 584x43 + 792x44 + 284x45 + 691x46 + 640x47 + 316x48 + 579x49 + 694x50 + 180x51 + 951x52 + 746x53 + 723x54 + 292x55 + 956x56 + 593x57 + 10x58 + 646x59 + 754x60 + 145x61 + 408x62 + 977x63 + 540x64 + 866x65 + 863x66 + 569x67 + 867x68 + 308x69 + 644x70 + 247x71 + 57x72 + 840x73 + 177x74 + 200x75 + 134x76 + 334x77 + 227x78 + 316x79 + 46x80 + 614x81 + 308x82 + 510x83 + 935x84 + 41x85 + 368x86 + 872x87 + 797x88 + 839x89 + 241x90 + 406x91 + 703x92 + 793x93 + 445x94 + 840x95 + 497x96 + 774x97 + 973x98 + 555x99 + 218x100 <= 28051 
constr7: + 472x1 + 572x2 + 373x3 + 813x4 + 439x5 + 392x6 + 500x7 + 949x8 + 164x9 + 394x10 + 793x11 + 852x12 + 411x13 + 860x14 + 717x15 + 687x16 + 593x17 + 932x18 + 445x19 + 740x20 + 587x21 + 396x22 + 123x23 + 570x24 + 967x25 + 897x26 + 170x27 + 301x28 + 320x29 + 998x30 + 52x31 + 661x32 + 525x33 + 360x34 + 854x35 + 542x36 + 176x37 + 58x38 + 1000x39 + 79x40 + 369x41 + 424x42 + 32x43 + 325x44 + 770x45 + 406x46 + 135x47 + 368x48 + 139x49 + 824x50 + 328x51 + 811x52 + 742x53 + 1x54 + 662x55 + 933x56 + 681x57 + 135x58 + 588x59 + 52x60 + 121x61 + 819x62 + 964x63 + 951x64 + 187x65 + 907x66 + 91x67 + 746x68 + 235x69 + 74x70 + 970x71 + 964x72 + 327x73 + 109x74 + 845x75 + 754x76 + 611x77 + 966x78 + 197x79 + 627x80 + 765x81 + 722x82 + 632x83 + 620x84 + 184x85 + 45x86 + 749x87 + 540x88 + 380x89 + 419x90 + 539x91 + 934x92 + 130x93 + 422x94 + 825x95 + 452x96 + 618x97 + 765x98 + 701x99 + 9x100 <= 24767 
constr8: + 614x1 + 818x2 + 787x3 + 914x4 + 646x5 + 979x6 + 570x7 + 818x8 + 206x9 + 1000x10 + 929x11 + 913x12 + 895x13 + 749x14 + 705x15 + 912x16 + 215x17 + 642x18 + 709x19 + 598x20 + 199x21 + 500x22 + 396x23 + 246x24 + 644x25 + 163x26 + 121x27 + 877x28 + 88x29 + 691x30 + 301x31 + 726x32 + 775x33 + 789x34 + 865x35 + 535x36 + 980x37 + 45x38 + 230x39 + 364x40 + 620x41 + 771x42 + 935x43 + 993x44 + 8x45 + 444x46 + 971x47 + 403x48 + 813x49 + 817x50 + 910x51 + 590x52 + 462x53 + 77x54 + 735x55 + 693x56 + 63x57 + 929x58 + 706x59 + 943x60 + 617x61 + 330x62 + 677x63 + 662x64 + 898x65 + 375x66 + 629x67 + 97x68 + 556x69 + 542x70 + 328x71 + 921x72 + 340x73 + 293x74 + 667x75 + 878x76 + 850x77 + 987x78 + 435x79 + 393x80 + 269x81 + 359x82 + 701x83 + 721x84 + 687x85 + 470x86 + 857x87 + 368x88 + 331x89 + 768x90 + 104x91 + 349x92 + 84x93 + 73x94 + 84x95 + 418x96 + 911x97 + 985x98 + 559x99 + 366x100 <= 26048 
constr9: + 501x1 + 599x2 + 4x3 + 534x4 + 220x5 + 311x6 + 421x7 + 325x8 + 749x9 + 70x10 + 425x11 + 288x12 + 229x13 + 865x14 + 716x15 + 921x16 + 959x17 + 425x18 + 838x19 + 32x20 + 648x21 + 186x22 + 971x23 + 840x24 + 515x25 + 782x26 + 779x27 + 384x28 + 420x29 + 50x30 + 81x31 + 129x32 + 703x33 + 862x34 + 973x35 + 492x36 + 656x37 + 15x38 + 772x39 + 20x40 + 10x41 + 958x42 + 245x43 + 718x44 + 307x45 + 864x46 + 132x47 + 206x48 + 564x49 + 238x50 + 417x51 + 995x52 + 996x53 + 348x54 + 888x55 + 143x56 + 876x57 + 20x58 + 984x59 + 42x60 + 66x61 + 411x62 + 702x63 + 255x64 + 831x65 + 73x66 + 481x67 + 499x68 + 339x69 + 771x70 + 150x71 + 835x72 + 743x73 + 122x74 + 692x75 + 525x76 + 864x77 + 755x78 + 390x79 + 723x80 + 944x81 + 687x82 + 14x83 + 846x84 + 278x85 + 899x86 + 999x87 + 903x88 + 699x89 + 983x90 + 904x91 + 213x92 + 254x93 + 225x94 + 942x95 + 708x96 + 103x97 + 129x98 + 240x99 + 755x100 <= 26101 
constr10: + 804x1 + 792x2 + 674x3 + 441x4 + 627x5 + 156x6 + 587x7 + 978x8 + 729x9 + 869x10 + 303x11 + 419x12 + 53x13 + 143x14 + 861x15 + 420x16 + 437x17 + 536x18 + 791x19 + 387x20 + 249x21 + 629x22 + 947x23 + 113x24 + 252x25 + 916x26 + 244x27 + 932x28 + 985x29 + 609x30 + 905x31 + 541x32 + 426x33 + 876x34 + 931x35 + 426x36 + 184x37 + 591x38 + 321x39 + 188x40 + 48x41 + 475x42 + 797x43 + 848x44 + 138x45 + 722x46 + 686x47 + 983x48 + 107x49 + 251x50 + 526x51 + 536x52 + 562x53 + 771x54 + 755x55 + 363x56 + 540x57 + 745x58 + 824x59 + 14x60 + 114x61 + 423x62 + 300x63 + 858x64 + 527x65 + 854x66 + 175x67 + 205x68 + 221x69 + 561x70 + 394x71 + 7x72 + 240x73 + 519x74 + 663x75 + 23x76 + 63x77 + 251x78 + 242x79 + 789x80 + 360x81 + 309x82 + 416x83 + 127x84 + 858x85 + 872x86 + 855x87 + 231x88 + 675x89 + 179x90 + 512x91 + 210x92 + 922x93 + 563x94 + 178x95 + 609x96 + 756x97 + 526x98 + 416x99 + 745x100 <= 24552 
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