minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 36970.794000 
s2: s + 0.001000f1 + 0.501000f2 >= 36970.794000 
f1: -f1 + 1018x1 + 396x2 + 593x3 + 784x4 + 284x5 + 848x6 + 380x7 + 1077x8 + 948x9 + 928x10 + 786x11 + 605x12 + 638x13 + 877x14 + 930x15 + 500x16 + 441x17 + 785x18 + 726x19 + 720x20 + 535x21 + 633x22 + 595x23 + 794x24 + 1007x25 + 681x26 + 715x27 + 872x28 + 649x29 + 842x30 + 685x31 + 455x32 + 920x33 + 553x34 + 668x35 + 867x36 + 905x37 + 812x38 + 493x39 + 708x40 + 451x41 + 886x42 + 637x43 + 817x44 + 644x45 + 589x46 + 594x47 + 809x48 + 975x49 + 810x50 + 917x51 + 795x52 + 961x53 + 929x54 + 605x55 + 915x56 + 878x57 + 655x58 + 719x59 + 1084x60 + 785x61 + 891x62 + 615x63 + 681x64 + 721x65 + 771x66 + 599x67 + 681x68 + 690x69 + 721x70 + 693x71 + 826x72 + 709x73 + 694x74 + 803x75 + 940x76 + 712x77 + 650x78 + 671x79 + 582x80 + 371x81 + 599x82 + 590x83 + 909x84 + 749x85 + 684x86 + 566x87 + 1168x88 + 950x89 + 992x90 + 796x91 + 954x92 + 701x93 + 768x94 + 477x95 + 683x96 + 706x97 + 940x98 + 633x99 + 653x100  = 0 
f2: -f2 + 668x1 + 867x2 + 477x3 + 929x4 + 795x5 + 785x6 + 396x7 + 685x8 + 615x9 + 1018x10 + 930x11 + 992x12 + 493x13 + 681x14 + 826x15 + 589x16 + 637x17 + 719x18 + 961x19 + 975x20 + 683x21 + 891x22 + 594x23 + 566x24 + 684x25 + 950x26 + 590x27 + 633x28 + 451x29 + 872x30 + 441x31 + 709x32 + 842x33 + 786x34 + 284x35 + 878x36 + 599x37 + 455x38 + 817x39 + 708x40 + 948x41 + 638x42 + 605x43 + 909x44 + 582x45 + 810x46 + 690x47 + 726x48 + 848x49 + 1077x50 + 917x51 + 633x52 + 694x53 + 593x54 + 1084x55 + 954x56 + 644x57 + 784x58 + 553x59 + 812x60 + 653x61 + 605x62 + 749x63 + 886x64 + 928x65 + 771x66 + 877x67 + 794x68 + 940x69 + 720x70 + 940x71 + 715x72 + 706x73 + 768x74 + 1007x75 + 649x76 + 905x77 + 681x78 + 380x79 + 803x80 + 681x81 + 1168x82 + 721x83 + 915x84 + 701x85 + 500x86 + 371x87 + 650x88 + 671x89 + 796x90 + 920x91 + 655x92 + 809x93 + 599x94 + 785x95 + 595x96 + 535x97 + 693x98 + 712x99 + 721x100  = 0 
constr1: + 731x1 + 690x2 + 524x3 + 20x4 + 83x5 + 746x6 + 61x7 + 775x8 + 592x9 + 21x10 + 1000x11 + 39x12 + 234x13 + 945x14 + 317x15 + 641x16 + 36x17 + 658x18 + 37x19 + 956x20 + 503x21 + 598x22 + 734x23 + 103x24 + 22x25 + 544x26 + 81x27 + 666x28 + 329x29 + 855x30 + 533x31 + 234x32 + 333x33 + 13x34 + 916x35 + 239x36 + 848x37 + 211x38 + 147x39 + 464x40 + 159x41 + 234x42 + 404x43 + 828x44 + 402x45 + 482x46 + 421x47 + 560x48 + 164x49 + 805x50 + 392x51 + 102x52 + 142x53 + 563x54 + 451x55 + 922x56 + 618x57 + 965x58 + 312x59 + 389x60 + 163x61 + 708x62 + 325x63 + 396x64 + 378x65 + 962x66 + 922x67 + 575x68 + 712x69 + 437x70 + 952x71 + 269x72 + 249x73 + 721x74 + 838x75 + 781x76 + 324x77 + 60x78 + 44x79 + 316x80 + 662x81 + 290x82 + 114x83 + 956x84 + 495x85 + 265x86 + 712x87 + 97x88 + 41x89 + 668x90 + 470x91 + 396x92 + 510x93 + 410x94 + 370x95 + 394x96 + 9x97 + 782x98 + 568x99 + 268x100 <= 24258 
constr2: + 176x1 + 18x2 + 353x3 + 250x4 + 690x5 + 706x6 + 994x7 + 196x8 + 689x9 + 570x10 + 61x11 + 587x12 + 638x13 + 458x14 + 962x15 + 266x16 + 640x17 + 202x18 + 94x19 + 424x20 + 194x21 + 279x22 + 186x23 + 281x24 + 498x25 + 908x26 + 153x27 + 292x28 + 411x29 + 812x30 + 716x31 + 708x32 + 938x33 + 130x34 + 599x35 + 897x36 + 466x37 + 756x38 + 491x39 + 871x40 + 361x41 + 817x42 + 749x43 + 252x44 + 402x45 + 529x46 + 931x47 + 308x48 + 492x49 + 11x50 + 84x51 + 959x52 + 200x53 + 950x54 + 383x55 + 455x56 + 53x57 + 763x58 + 153x59 + 892x60 + 509x61 + 64x62 + 553x63 + 234x64 + 895x65 + 797x66 + 245x67 + 327x68 + 261x69 + 655x70 + 117x71 + 808x72 + 981x73 + 186x74 + 988x75 + 923x76 + 562x77 + 545x78 + 149x79 + 172x80 + 443x81 + 182x82 + 98x83 + 779x84 + 913x85 + 639x86 + 268x87 + 602x88 + 27x89 + 269x90 + 432x91 + 186x92 + 27x93 + 381x94 + 534x95 + 477x96 + 528x97 + 840x98 + 210x99 + 682x100 <= 24875 
constr3: + 418x1 + 115x2 + 556x3 + 330x4 + 115x5 + 392x6 + 397x7 + 199x8 + 353x9 + 392x10 + 448x11 + 442x12 + 728x13 + 733x14 + 764x15 + 747x16 + 429x17 + 980x18 + 119x19 + 750x20 + 237x21 + 615x22 + 363x23 + 396x24 + 421x25 + 149x26 + 475x27 + 943x28 + 705x29 + 895x30 + 432x31 + 904x32 + 351x33 + 356x34 + 680x35 + 250x36 + 627x37 + 876x38 + 963x39 + 301x40 + 163x41 + 70x42 + 143x43 + 974x44 + 602x45 + 748x46 + 603x47 + 405x48 + 391x49 + 451x50 + 110x51 + 772x52 + 773x53 + 958x54 + 559x55 + 108x56 + 995x57 + 555x58 + 876x59 + 17x60 + 732x61 + 418x62 + 38x63 + 362x64 + 637x65 + 931x66 + 849x67 + 869x68 + 884x69 + 102x70 + 310x71 + 311x72 + 213x73 + 763x74 + 827x75 + 622x76 + 357x77 + 490x78 + 223x79 + 193x80 + 594x81 + 610x82 + 297x83 + 628x84 + 207x85 + 468x86 + 568x87 + 247x88 + 226x89 + 239x90 + 410x91 + 414x92 + 319x93 + 468x94 + 680x95 + 384x96 + 109x97 + 297x98 + 118x99 + 210x100 <= 21839 
constr4: + 308x1 + 978x2 + 390x3 + 346x4 + 233x5 + 638x6 + 667x7 + 861x8 + 822x9 + 731x10 + 660x11 + 567x12 + 236x13 + 6x14 + 329x15 + 676x16 + 344x17 + 367x18 + 94x19 + 290x20 + 859x21 + 2x22 + 153x23 + 243x24 + 916x25 + 344x26 + 15x27 + 93x28 + 243x29 + 309x30 + 231x31 + 395x32 + 925x33 + 66x34 + 891x35 + 108x36 + 781x37 + 314x38 + 708x39 + 440x40 + 231x41 + 167x42 + 620x43 + 768x44 + 486x45 + 164x46 + 844x47 + 53x48 + 917x49 + 802x50 + 590x51 + 102x52 + 432x53 + 286x54 + 226x55 + 493x56 + 42x57 + 168x58 + 731x59 + 248x60 + 118x61 + 675x62 + 128x63 + 194x64 + 464x65 + 321x66 + 430x67 + 745x68 + 451x69 + 646x70 + 731x71 + 448x72 + 595x73 + 634x74 + 962x75 + 588x76 + 34x77 + 194x78 + 404x79 + 761x80 + 685x81 + 918x82 + 171x83 + 213x84 + 222x85 + 674x86 + 303x87 + 914x88 + 346x89 + 871x90 + 60x91 + 550x92 + 106x93 + 393x94 + 815x95 + 636x96 + 140x97 + 673x98 + 238x99 + 314x100 <= 25720 
constr5: + 107x1 + 217x2 + 992x3 + 527x4 + 309x5 + 408x6 + 963x7 + 127x8 + 86x9 + 705x10 + 122x11 + 130x12 + 843x13 + 360x14 + 402x15 + 498x16 + 958x17 + 407x18 + 456x19 + 519x20 + 309x21 + 739x22 + 411x23 + 411x24 + 787x25 + 868x26 + 208x27 + 382x28 + 556x29 + 119x30 + 94x31 + 666x32 + 219x33 + 589x34 + 74x35 + 997x36 + 117x37 + 451x38 + 905x39 + 764x40 + 461x41 + 562x42 + 899x43 + 140x44 + 353x45 + 966x46 + 484x47 + 425x48 + 881x49 + 82x50 + 52x51 + 682x52 + 189x53 + 544x54 + 94x55 + 185x56 + 214x57 + 739x58 + 91x59 + 565x60 + 953x61 + 151x62 + 990x63 + 833x64 + 625x65 + 237x66 + 903x67 + 405x68 + 508x69 + 515x70 + 394x71 + 554x72 + 764x73 + 384x74 + 679x75 + 160x76 + 997x77 + 721x78 + 562x79 + 593x80 + 51x81 + 904x82 + 210x83 + 341x84 + 675x85 + 658x86 + 60x87 + 167x88 + 127x89 + 743x90 + 168x91 + 77x92 + 349x93 + 916x94 + 760x95 + 826x96 + 983x97 + 731x98 + 398x99 + 84x100 <= 25411 
constr6: + 946x1 + 70x2 + 93x3 + 114x4 + 785x5 + 295x6 + 866x7 + 235x8 + 676x9 + 968x10 + 523x11 + 378x12 + 99x13 + 399x14 + 584x15 + 715x16 + 996x17 + 760x18 + 379x19 + 129x20 + 143x21 + 41x22 + 690x23 + 206x24 + 663x25 + 208x26 + 64x27 + 728x28 + 70x29 + 121x30 + 795x31 + 71x32 + 191x33 + 115x34 + 44x35 + 66x36 + 19x37 + 721x38 + 868x39 + 810x40 + 374x41 + 451x42 + 907x43 + 939x44 + 938x45 + 700x46 + 226x47 + 344x48 + 345x49 + 804x50 + 112x51 + 14x52 + 869x53 + 982x54 + 118x55 + 702x56 + 554x57 + 202x58 + 278x59 + 973x60 + 936x61 + 1x62 + 181x63 + 910x64 + 827x65 + 862x66 + 239x67 + 572x68 + 701x69 + 833x70 + 562x71 + 443x72 + 657x73 + 19x74 + 799x75 + 998x76 + 616x77 + 944x78 + 366x79 + 352x80 + 486x81 + 910x82 + 17x83 + 781x84 + 75x85 + 409x86 + 486x87 + 408x88 + 228x89 + 825x90 + 264x91 + 925x92 + 10x93 + 808x94 + 116x95 + 230x96 + 24x97 + 398x98 + 206x99 + 656x100 <= 24067 
constr7: + 121x1 + 479x2 + 735x3 + 728x4 + 370x5 + 388x6 + 490x7 + 266x8 + 201x9 + 823x10 + 583x11 + 492x12 + 199x13 + 886x14 + 724x15 + 661x16 + 546x17 + 920x18 + 812x19 + 629x20 + 426x21 + 730x22 + 335x23 + 770x24 + 347x25 + 953x26 + 54x27 + 567x28 + 664x29 + 413x30 + 377x31 + 330x32 + 236x33 + 130x34 + 922x35 + 899x36 + 992x37 + 720x38 + 233x39 + 106x40 + 331x41 + 978x42 + 849x43 + 816x44 + 859x45 + 625x46 + 360x47 + 498x48 + 303x49 + 856x50 + 752x51 + 780x52 + 751x53 + 967x54 + 114x55 + 50x56 + 279x57 + 714x58 + 944x59 + 126x60 + 98x61 + 50x62 + 737x63 + 439x64 + 51x65 + 912x66 + 335x67 + 734x68 + 412x69 + 383x70 + 249x71 + 65x72 + 513x73 + 745x74 + 731x75 + 770x76 + 956x77 + 751x78 + 292x79 + 575x80 + 656x81 + 187x82 + 349x83 + 682x84 + 416x85 + 951x86 + 95x87 + 840x88 + 152x89 + 262x90 + 179x91 + 12x92 + 273x93 + 400x94 + 617x95 + 323x96 + 183x97 + 409x98 + 124x99 + 463x100 <= 26371 
constr8: + 669x1 + 347x2 + 610x3 + 979x4 + 409x5 + 250x6 + 131x7 + 483x8 + 942x9 + 984x10 + 358x11 + 531x12 + 491x13 + 967x14 + 199x15 + 411x16 + 372x17 + 644x18 + 360x19 + 632x20 + 273x21 + 379x22 + 966x23 + 522x24 + 739x25 + 705x26 + 307x27 + 446x28 + 804x29 + 97x30 + 572x31 + 979x32 + 669x33 + 962x34 + 706x35 + 470x36 + 752x37 + 678x38 + 419x39 + 344x40 + 478x41 + 307x42 + 544x43 + 756x44 + 991x45 + 299x46 + 463x47 + 260x48 + 368x49 + 317x50 + 737x51 + 267x52 + 590x53 + 820x54 + 35x55 + 971x56 + 110x57 + 85x58 + 646x59 + 631x60 + 862x61 + 140x62 + 289x63 + 447x64 + 635x65 + 126x66 + 980x67 + 657x68 + 892x69 + 341x70 + 565x71 + 372x72 + 251x73 + 809x74 + 165x75 + 861x76 + 817x77 + 123x78 + 905x79 + 892x80 + 464x81 + 739x82 + 243x83 + 286x84 + 353x85 + 713x86 + 41x87 + 139x88 + 806x89 + 646x90 + 859x91 + 719x92 + 79x93 + 458x94 + 448x95 + 123x96 + 511x97 + 373x98 + 543x99 + 52x100 <= 26784 
constr9: + 431x1 + 461x2 + 136x3 + 424x4 + 861x5 + 930x6 + 345x7 + 961x8 + 933x9 + 675x10 + 930x11 + 30x12 + 324x13 + 66x14 + 876x15 + 944x16 + 211x17 + 744x18 + 238x19 + 452x20 + 596x21 + 414x22 + 304x23 + 618x24 + 928x25 + 564x26 + 898x27 + 208x28 + 234x29 + 300x30 + 813x31 + 982x32 + 11x33 + 101x34 + 687x35 + 209x36 + 630x37 + 770x38 + 553x39 + 611x40 + 411x41 + 995x42 + 218x43 + 519x44 + 302x45 + 801x46 + 619x47 + 255x48 + 919x49 + 996x50 + 83x51 + 400x52 + 874x53 + 663x54 + 651x55 + 514x56 + 159x57 + 872x58 + 985x59 + 147x60 + 977x61 + 59x62 + 736x63 + 203x64 + 633x65 + 774x66 + 948x67 + 992x68 + 81x69 + 100x70 + 847x71 + 865x72 + 19x73 + 212x74 + 449x75 + 308x76 + 11x77 + 137x78 + 985x79 + 762x80 + 919x81 + 889x82 + 792x83 + 448x84 + 771x85 + 737x86 + 77x87 + 463x88 + 913x89 + 678x90 + 80x91 + 715x92 + 763x93 + 283x94 + 649x95 + 597x96 + 313x97 + 215x98 + 47x99 + 730x100 <= 23226 
constr10: + 276x1 + 101x2 + 512x3 + 791x4 + 60x5 + 727x6 + 729x7 + 349x8 + 416x9 + 377x10 + 633x11 + 364x12 + 893x13 + 995x14 + 204x15 + 547x16 + 494x17 + 163x18 + 147x19 + 517x20 + 202x21 + 579x22 + 218x23 + 2x24 + 554x25 + 903x26 + 601x27 + 100x28 + 54x29 + 354x30 + 190x31 + 132x32 + 639x33 + 824x34 + 391x35 + 477x36 + 508x37 + 355x38 + 987x39 + 389x40 + 168x41 + 528x42 + 280x43 + 185x44 + 528x45 + 673x46 + 299x47 + 400x48 + 63x49 + 211x50 + 222x51 + 550x52 + 876x53 + 599x54 + 843x55 + 328x56 + 504x57 + 251x58 + 884x59 + 412x60 + 795x61 + 752x62 + 501x63 + 928x64 + 982x65 + 428x66 + 398x67 + 208x68 + 368x69 + 64x70 + 916x71 + 995x72 + 516x73 + 513x74 + 183x75 + 932x76 + 503x77 + 64x78 + 779x79 + 956x80 + 780x81 + 20x82 + 465x83 + 52x84 + 449x85 + 941x86 + 348x87 + 389x88 + 554x89 + 265x90 + 263x91 + 794x92 + 163x93 + 825x94 + 204x95 + 546x96 + 544x97 + 578x98 + 749x99 + 737x100 <= 20840 
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