minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37693.674000 
s2: s + 0.001000f1 + 0.501000f2 >= 37693.674000 
f1: -f1 + 981x1 + 850x2 + 949x3 + 634x4 + 846x5 + 780x6 + 567x7 + 586x8 + 973x9 + 660x10 + 831x11 + 567x12 + 433x13 + 592x14 + 882x15 + 732x16 + 630x17 + 472x18 + 671x19 + 731x20 + 910x21 + 769x22 + 817x23 + 465x24 + 854x25 + 858x26 + 838x27 + 576x28 + 642x29 + 895x30 + 771x31 + 947x32 + 696x33 + 511x34 + 681x35 + 518x36 + 776x37 + 682x38 + 617x39 + 1046x40 + 842x41 + 1013x42 + 435x43 + 709x44 + 578x45 + 964x46 + 739x47 + 821x48 + 682x49 + 625x50 + 680x51 + 698x52 + 866x53 + 796x54 + 916x55 + 571x56 + 473x57 + 468x58 + 639x59 + 608x60 + 934x61 + 772x62 + 692x63 + 653x64 + 1010x65 + 1069x66 + 585x67 + 849x68 + 903x69 + 920x70 + 895x71 + 835x72 + 701x73 + 1000x74 + 879x75 + 1075x76 + 527x77 + 921x78 + 790x79 + 869x80 + 991x81 + 524x82 + 441x83 + 906x84 + 756x85 + 780x86 + 710x87 + 840x88 + 601x89 + 781x90 + 792x91 + 755x92 + 690x93 + 469x94 + 801x95 + 653x96 + 905x97 + 928x98 + 620x99 + 906x100  = 0 
f2: -f2 + 790x1 + 576x2 + 527x3 + 472x4 + 780x5 + 866x6 + 869x7 + 435x8 + 680x9 + 601x10 + 732x11 + 630x12 + 991x13 + 1000x14 + 653x15 + 585x16 + 928x17 + 567x18 + 906x19 + 964x20 + 949x21 + 634x22 + 903x23 + 586x24 + 835x25 + 731x26 + 879x27 + 934x28 + 921x29 + 831x30 + 817x31 + 682x32 + 772x33 + 473x34 + 846x35 + 701x36 + 776x37 + 895x38 + 1069x39 + 682x40 + 692x41 + 882x42 + 639x43 + 608x44 + 771x45 + 681x46 + 849x47 + 780x48 + 469x49 + 1075x50 + 441x51 + 842x52 + 578x53 + 840x54 + 910x55 + 981x56 + 850x57 + 710x58 + 821x59 + 660x60 + 690x61 + 518x62 + 906x63 + 465x64 + 838x65 + 1010x66 + 769x67 + 858x68 + 781x69 + 947x70 + 620x71 + 1046x72 + 617x73 + 973x74 + 755x75 + 642x76 + 433x77 + 653x78 + 511x79 + 592x80 + 1013x81 + 696x82 + 916x83 + 698x84 + 671x85 + 567x86 + 571x87 + 709x88 + 801x89 + 905x90 + 796x91 + 854x92 + 792x93 + 920x94 + 625x95 + 739x96 + 468x97 + 524x98 + 895x99 + 756x100  = 0 
constr1: + 831x1 + 131x2 + 293x3 + 601x4 + 436x5 + 469x6 + 835x7 + 236x8 + 492x9 + 647x10 + 964x11 + 443x12 + 162x13 + 890x14 + 928x15 + 515x16 + 467x17 + 114x18 + 898x19 + 680x20 + 529x21 + 25x22 + 820x23 + 808x24 + 563x25 + 283x26 + 544x27 + 183x28 + 921x29 + 106x30 + 254x31 + 627x32 + 594x33 + 922x34 + 643x35 + 79x36 + 296x37 + 868x38 + 606x39 + 458x40 + 377x41 + 324x42 + 834x43 + 119x44 + 182x45 + 989x46 + 481x47 + 60x48 + 6x49 + 915x50 + 862x51 + 886x52 + 489x53 + 230x54 + 928x55 + 282x56 + 687x57 + 915x58 + 708x59 + 395x60 + 273x61 + 868x62 + 497x63 + 584x64 + 180x65 + 485x66 + 499x67 + 301x68 + 780x69 + 839x70 + 291x71 + 256x72 + 933x73 + 695x74 + 644x75 + 35x76 + 745x77 + 870x78 + 725x79 + 78x80 + 287x81 + 824x82 + 268x83 + 940x84 + 64x85 + 687x86 + 807x87 + 468x88 + 546x89 + 336x90 + 891x91 + 944x92 + 303x93 + 387x94 + 431x95 + 607x96 + 949x97 + 549x98 + 487x99 + 764x100 <= 23993 
constr2: + 622x1 + 819x2 + 234x3 + 667x4 + 922x5 + 702x6 + 962x7 + 891x8 + 361x9 + 245x10 + 953x11 + 583x12 + 376x13 + 256x14 + 903x15 + 581x16 + 606x17 + 234x18 + 508x19 + 247x20 + 224x21 + 426x22 + 193x23 + 689x24 + 310x25 + 469x26 + 294x27 + 750x28 + 62x29 + 465x30 + 828x31 + 194x32 + 975x33 + 450x34 + 323x35 + 111x36 + 629x37 + 119x38 + 555x39 + 379x40 + 305x41 + 475x42 + 884x43 + 102x44 + 24x45 + 918x46 + 17x47 + 654x48 + 897x49 + 771x50 + 231x51 + 228x52 + 370x53 + 322x54 + 720x55 + 614x56 + 290x57 + 478x58 + 164x59 + 326x60 + 422x61 + 918x62 + 876x63 + 488x64 + 790x65 + 398x66 + 487x67 + 773x68 + 999x69 + 101x70 + 832x71 + 29x72 + 457x73 + 591x74 + 668x75 + 86x76 + 432x77 + 130x78 + 750x79 + 968x80 + 389x81 + 587x82 + 749x83 + 667x84 + 620x85 + 184x86 + 435x87 + 533x88 + 318x89 + 981x90 + 173x91 + 559x92 + 550x93 + 809x94 + 848x95 + 807x96 + 750x97 + 184x98 + 72x99 + 37x100 <= 24995 
constr3: + 275x1 + 254x2 + 267x3 + 232x4 + 19x5 + 621x6 + 133x7 + 839x8 + 100x9 + 76x10 + 467x11 + 524x12 + 242x13 + 8x14 + 587x15 + 799x16 + 118x17 + 305x18 + 737x19 + 824x20 + 397x21 + 905x22 + 370x23 + 23x24 + 153x25 + 962x26 + 307x27 + 858x28 + 717x29 + 55x30 + 665x31 + 797x32 + 435x33 + 72x34 + 753x35 + 27x36 + 328x37 + 697x38 + 647x39 + 256x40 + 581x41 + 329x42 + 129x43 + 145x44 + 390x45 + 613x46 + 763x47 + 215x48 + 188x49 + 236x50 + 947x51 + 114x52 + 533x53 + 731x54 + 29x55 + 843x56 + 744x57 + 544x58 + 238x59 + 223x60 + 996x61 + 257x62 + 770x63 + 632x64 + 832x65 + 853x66 + 64x67 + 653x68 + 531x69 + 351x70 + 458x71 + 239x72 + 963x73 + 584x74 + 816x75 + 316x76 + 303x77 + 332x78 + 685x79 + 918x80 + 88x81 + 282x82 + 726x83 + 827x84 + 569x85 + 975x86 + 760x87 + 125x88 + 357x89 + 425x90 + 697x91 + 105x92 + 40x93 + 22x94 + 156x95 + 794x96 + 170x97 + 188x98 + 207x99 + 45x100 <= 24551 
constr4: + 332x1 + 169x2 + 26x3 + 851x4 + 895x5 + 24x6 + 357x7 + 305x8 + 898x9 + 875x10 + 338x11 + 125x12 + 184x13 + 494x14 + 428x15 + 548x16 + 963x17 + 390x18 + 208x19 + 391x20 + 644x21 + 87x22 + 478x23 + 65x24 + 123x25 + 716x26 + 261x27 + 803x28 + 572x29 + 268x30 + 933x31 + 322x32 + 221x33 + 593x34 + 645x35 + 245x36 + 427x37 + 234x38 + 956x39 + 41x40 + 332x41 + 88x42 + 994x43 + 471x44 + 508x45 + 195x46 + 271x47 + 651x48 + 122x49 + 204x50 + 344x51 + 309x52 + 619x53 + 666x54 + 447x55 + 802x56 + 68x57 + 847x58 + 953x59 + 801x60 + 282x61 + 290x62 + 352x63 + 192x64 + 276x65 + 741x66 + 289x67 + 799x68 + 492x69 + 287x70 + 814x71 + 858x72 + 4x73 + 17x74 + 923x75 + 18x76 + 77x77 + 275x78 + 531x79 + 154x80 + 416x81 + 198x82 + 442x83 + 715x84 + 375x85 + 97x86 + 665x87 + 810x88 + 403x89 + 254x90 + 39x91 + 128x92 + 134x93 + 268x94 + 901x95 + 759x96 + 104x97 + 661x98 + 736x99 + 841x100 <= 24181 
constr5: + 220x1 + 770x2 + 681x3 + 661x4 + 582x5 + 323x6 + 840x7 + 924x8 + 755x9 + 288x10 + 512x11 + 545x12 + 842x13 + 624x14 + 111x15 + 881x16 + 919x17 + 670x18 + 222x19 + 621x20 + 538x21 + 889x22 + 860x23 + 521x24 + 54x25 + 291x26 + 401x27 + 823x28 + 245x29 + 220x30 + 277x31 + 940x32 + 441x33 + 423x34 + 89x35 + 72x36 + 418x37 + 105x38 + 339x39 + 704x40 + 573x41 + 511x42 + 748x43 + 173x44 + 688x45 + 855x46 + 171x47 + 292x48 + 689x49 + 476x50 + 26x51 + 798x52 + 607x53 + 44x54 + 102x55 + 856x56 + 749x57 + 219x58 + 105x59 + 778x60 + 477x61 + 576x62 + 881x63 + 34x64 + 104x65 + 461x66 + 929x67 + 616x68 + 561x69 + 425x70 + 733x71 + 785x72 + 97x73 + 871x74 + 247x75 + 318x76 + 218x77 + 543x78 + 415x79 + 292x80 + 734x81 + 818x82 + 685x83 + 604x84 + 39x85 + 152x86 + 967x87 + 867x88 + 895x89 + 732x90 + 639x91 + 505x92 + 55x93 + 796x94 + 772x95 + 156x96 + 163x97 + 939x98 + 567x99 + 572x100 <= 23179 
constr6: + 590x1 + 258x2 + 370x3 + 532x4 + 838x5 + 45x6 + 950x7 + 301x8 + 474x9 + 356x10 + 348x11 + 150x12 + 444x13 + 126x14 + 444x15 + 419x16 + 907x17 + 540x18 + 883x19 + 171x20 + 857x21 + 987x22 + 336x23 + 489x24 + 260x25 + 628x26 + 832x27 + 748x28 + 863x29 + 228x30 + 436x31 + 577x32 + 457x33 + 998x34 + 455x35 + 398x36 + 98x37 + 695x38 + 555x39 + 646x40 + 187x41 + 111x42 + 307x43 + 442x44 + 493x45 + 149x46 + 953x47 + 684x48 + 271x49 + 258x50 + 456x51 + 68x52 + 331x53 + 402x54 + 536x55 + 685x56 + 336x57 + 384x58 + 303x59 + 615x60 + 303x61 + 224x62 + 932x63 + 637x64 + 479x65 + 381x66 + 572x67 + 862x68 + 491x69 + 11x70 + 224x71 + 413x72 + 953x73 + 532x74 + 131x75 + 779x76 + 195x77 + 462x78 + 93x79 + 691x80 + 216x81 + 945x82 + 741x83 + 819x84 + 682x85 + 171x86 + 649x87 + 535x88 + 223x89 + 389x90 + 118x91 + 503x92 + 474x93 + 150x94 + 709x95 + 158x96 + 713x97 + 733x98 + 217x99 + 339x100 <= 23786 
constr7: + 144x1 + 886x2 + 280x3 + 369x4 + 558x5 + 58x6 + 393x7 + 206x8 + 740x9 + 791x10 + 189x11 + 343x12 + 939x13 + 526x14 + 37x15 + 4x16 + 290x17 + 69x18 + 493x19 + 136x20 + 261x21 + 566x22 + 598x23 + 603x24 + 562x25 + 71x26 + 230x27 + 202x28 + 869x29 + 97x30 + 973x31 + 51x32 + 379x33 + 299x34 + 511x35 + 116x36 + 808x37 + 295x38 + 615x39 + 548x40 + 291x41 + 386x42 + 496x43 + 639x44 + 879x45 + 262x46 + 212x47 + 580x48 + 18x49 + 993x50 + 759x51 + 152x52 + 392x53 + 238x54 + 819x55 + 58x56 + 510x57 + 649x58 + 195x59 + 31x60 + 985x61 + 661x62 + 298x63 + 293x64 + 463x65 + 23x66 + 692x67 + 850x68 + 851x69 + 610x70 + 154x71 + 525x72 + 916x73 + 228x74 + 264x75 + 521x76 + 316x77 + 549x78 + 272x79 + 967x80 + 387x81 + 485x82 + 262x83 + 427x84 + 139x85 + 84x86 + 524x87 + 876x88 + 851x89 + 874x90 + 670x91 + 94x92 + 183x93 + 711x94 + 437x95 + 218x96 + 804x97 + 626x98 + 149x99 + 867x100 <= 26093 
constr8: + 735x1 + 12x2 + 434x3 + 80x4 + 530x5 + 410x6 + 32x7 + 399x8 + 136x9 + 257x10 + 678x11 + 125x12 + 618x13 + 909x14 + 604x15 + 941x16 + 774x17 + 271x18 + 333x19 + 997x20 + 117x21 + 306x22 + 544x23 + 920x24 + 765x25 + 848x26 + 361x27 + 332x28 + 375x29 + 988x30 + 23x31 + 131x32 + 144x33 + 767x34 + 445x35 + 355x36 + 642x37 + 694x38 + 308x39 + 880x40 + 993x41 + 152x42 + 45x43 + 175x44 + 752x45 + 427x46 + 585x47 + 419x48 + 124x49 + 918x50 + 379x51 + 298x52 + 950x53 + 278x54 + 946x55 + 159x56 + 204x57 + 595x58 + 251x59 + 152x60 + 246x61 + 482x62 + 747x63 + 423x64 + 971x65 + 154x66 + 334x67 + 370x68 + 331x69 + 937x70 + 749x71 + 573x72 + 525x73 + 919x74 + 626x75 + 621x76 + 169x77 + 728x78 + 324x79 + 925x80 + 916x81 + 229x82 + 103x83 + 51x84 + 281x85 + 409x86 + 827x87 + 106x88 + 828x89 + 118x90 + 642x91 + 647x92 + 503x93 + 527x94 + 724x95 + 342x96 + 936x97 + 677x98 + 605x99 + 221x100 <= 25374 
constr9: + 765x1 + 301x2 + 165x3 + 915x4 + 272x5 + 49x6 + 337x7 + 935x8 + 246x9 + 616x10 + 351x11 + 127x12 + 61x13 + 39x14 + 794x15 + 757x16 + 793x17 + 455x18 + 658x19 + 82x20 + 822x21 + 886x22 + 483x23 + 656x24 + 39x25 + 363x26 + 468x27 + 614x28 + 257x29 + 684x30 + 963x31 + 558x32 + 614x33 + 345x34 + 918x35 + 416x36 + 637x37 + 944x38 + 650x39 + 670x40 + 446x41 + 545x42 + 103x43 + 487x44 + 864x45 + 497x46 + 487x47 + 990x48 + 965x49 + 609x50 + 748x51 + 267x52 + 683x53 + 471x54 + 81x55 + 911x56 + 243x57 + 666x58 + 741x59 + 539x60 + 811x61 + 48x62 + 374x63 + 815x64 + 198x65 + 153x66 + 250x67 + 869x68 + 616x69 + 515x70 + 782x71 + 893x72 + 197x73 + 262x74 + 641x75 + 976x76 + 250x77 + 864x78 + 167x79 + 904x80 + 192x81 + 840x82 + 369x83 + 868x84 + 318x85 + 157x86 + 906x87 + 847x88 + 229x89 + 830x90 + 665x91 + 584x92 + 20x93 + 505x94 + 556x95 + 473x96 + 212x97 + 102x98 + 353x99 + 490x100 <= 26242 
constr10: + 978x1 + 699x2 + 450x3 + 623x4 + 297x5 + 960x6 + 793x7 + 699x8 + 372x9 + 361x10 + 101x11 + 778x12 + 508x13 + 946x14 + 843x15 + 613x16 + 548x17 + 843x18 + 655x19 + 394x20 + 797x21 + 749x22 + 590x23 + 881x24 + 611x25 + 26x26 + 516x27 + 56x28 + 735x29 + 756x30 + 318x31 + 760x32 + 166x33 + 410x34 + 263x35 + 615x36 + 759x37 + 185x38 + 477x39 + 383x40 + 206x41 + 470x42 + 562x43 + 780x44 + 917x45 + 535x46 + 438x47 + 415x48 + 568x49 + 337x50 + 833x51 + 23x52 + 862x53 + 945x54 + 12x55 + 437x56 + 53x57 + 694x58 + 231x59 + 790x60 + 973x61 + 411x62 + 42x63 + 835x64 + 578x65 + 919x66 + 631x67 + 330x68 + 572x69 + 71x70 + 620x71 + 20x72 + 64x73 + 753x74 + 219x75 + 902x76 + 911x77 + 801x78 + 908x79 + 251x80 + 732x81 + 509x82 + 784x83 + 687x84 + 600x85 + 658x86 + 661x87 + 851x88 + 7x89 + 599x90 + 926x91 + 910x92 + 986x93 + 16x94 + 978x95 + 335x96 + 421x97 + 355x98 + 891x99 + 526x100 <= 24131 
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