minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38784.520000 
s2: s + 0.001000f1 + 0.501000f2 >= 38784.520000 
f1: -f1 + 879x1 + 686x2 + 547x3 + 407x4 + 623x5 + 884x6 + 882x7 + 679x8 + 814x9 + 673x10 + 1156x11 + 654x12 + 606x13 + 940x14 + 490x15 + 733x16 + 910x17 + 1164x18 + 483x19 + 989x20 + 934x21 + 641x22 + 1148x23 + 1024x24 + 1136x25 + 856x26 + 702x27 + 484x28 + 1001x29 + 749x30 + 881x31 + 861x32 + 967x33 + 1033x34 + 928x35 + 582x36 + 656x37 + 971x38 + 607x39 + 372x40 + 685x41 + 553x42 + 714x43 + 866x44 + 936x45 + 1160x46 + 600x47 + 661x48 + 759x49 + 823x50 + 688x51 + 951x52 + 634x53 + 858x54 + 992x55 + 789x56 + 807x57 + 922x58 + 838x59 + 662x60 + 682x61 + 790x62 + 360x63 + 521x64 + 850x65 + 787x66 + 903x67 + 571x68 + 739x69 + 905x70 + 946x71 + 669x72 + 981x73 + 747x74 + 950x75 + 614x76 + 786x77 + 881x78 + 854x79 + 883x80 + 581x81 + 488x82 + 1014x83 + 1072x84 + 567x85 + 586x86 + 557x87 + 600x88 + 1027x89 + 851x90 + 530x91 + 961x92 + 758x93 + 346x94 + 626x95 + 682x96 + 546x97 + 879x98 + 832x99 + 708x100  = 0 
f2: -f2 + 989x1 + 883x2 + 1014x3 + 838x4 + 1160x5 + 749x6 + 922x7 + 790x8 + 679x9 + 786x10 + 662x11 + 905x12 + 530x13 + 879x14 + 557x15 + 1164x16 + 567x17 + 484x18 + 866x19 + 903x20 + 702x21 + 641x22 + 882x23 + 807x24 + 685x25 + 407x26 + 488x27 + 1027x28 + 739x29 + 733x30 + 823x31 + 546x32 + 758x33 + 884x34 + 981x35 + 614x36 + 881x37 + 547x38 + 682x39 + 858x40 + 708x41 + 747x42 + 850x43 + 1148x44 + 1136x45 + 950x46 + 814x47 + 940x48 + 586x49 + 661x50 + 688x51 + 656x52 + 967x53 + 1156x54 + 582x55 + 571x56 + 626x57 + 832x58 + 553x59 + 992x60 + 1072x61 + 951x62 + 946x63 + 714x64 + 861x65 + 971x66 + 600x67 + 606x68 + 346x69 + 759x70 + 673x71 + 490x72 + 607x73 + 654x74 + 686x75 + 1033x76 + 1024x77 + 879x78 + 360x79 + 1001x80 + 682x81 + 521x82 + 669x83 + 581x84 + 623x85 + 854x86 + 936x87 + 483x88 + 789x89 + 634x90 + 934x91 + 961x92 + 928x93 + 910x94 + 851x95 + 372x96 + 787x97 + 881x98 + 600x99 + 856x100  = 0 
constr1: + 859x1 + 87x2 + 681x3 + 327x4 + 506x5 + 812x6 + 440x7 + 103x8 + 773x9 + 308x10 + 570x11 + 589x12 + 314x13 + 667x14 + 843x15 + 839x16 + 390x17 + 150x18 + 176x19 + 563x20 + 384x21 + 459x22 + 489x23 + 557x24 + 262x25 + 738x26 + 238x27 + 407x28 + 11x29 + 905x30 + 218x31 + 578x32 + 413x33 + 625x34 + 424x35 + 263x36 + 481x37 + 626x38 + 551x39 + 173x40 + 283x41 + 831x42 + 775x43 + 825x44 + 512x45 + 650x46 + 626x47 + 638x48 + 115x49 + 870x50 + 514x51 + 410x52 + 743x53 + 47x54 + 341x55 + 149x56 + 249x57 + 218x58 + 521x59 + 105x60 + 372x61 + 381x62 + 935x63 + 875x64 + 474x65 + 149x66 + 185x67 + 644x68 + 62x69 + 690x70 + 716x71 + 550x72 + 354x73 + 83x74 + 301x75 + 199x76 + 81x77 + 601x78 + 604x79 + 952x80 + 782x81 + 229x82 + 649x83 + 467x84 + 792x85 + 497x86 + 505x87 + 582x88 + 794x89 + 672x90 + 864x91 + 26x92 + 892x93 + 901x94 + 364x95 + 331x96 + 857x97 + 357x98 + 269x99 + 613x100 <= 12914 
constr2: + 636x1 + 829x2 + 293x3 + 537x4 + 598x5 + 414x6 + 258x7 + 720x8 + 64x9 + 499x10 + 636x11 + 125x12 + 108x13 + 984x14 + 706x15 + 496x16 + 966x17 + 452x18 + 776x19 + 395x20 + 18x21 + 952x22 + 867x23 + 374x24 + 292x25 + 276x26 + 950x27 + 849x28 + 4x29 + 206x30 + 139x31 + 12x32 + 942x33 + 930x34 + 393x35 + 744x36 + 163x37 + 32x38 + 968x39 + 636x40 + 707x41 + 113x42 + 253x43 + 768x44 + 182x45 + 895x46 + 382x47 + 203x48 + 877x49 + 552x50 + 878x51 + 307x52 + 307x53 + 450x54 + 254x55 + 240x56 + 531x57 + 484x58 + 680x59 + 15x60 + 329x61 + 664x62 + 940x63 + 360x64 + 416x65 + 283x66 + 86x67 + 503x68 + 680x69 + 16x70 + 974x71 + 835x72 + 580x73 + 680x74 + 822x75 + 177x76 + 204x77 + 283x78 + 129x79 + 453x80 + 288x81 + 44x82 + 897x83 + 199x84 + 768x85 + 382x86 + 686x87 + 440x88 + 164x89 + 97x90 + 398x91 + 279x92 + 919x93 + 739x94 + 223x95 + 815x96 + 59x97 + 775x98 + 885x99 + 765x100 <= 13123 
constr3: + 338x1 + 70x2 + 620x3 + 369x4 + 139x5 + 131x6 + 179x7 + 717x8 + 735x9 + 672x10 + 968x11 + 317x12 + 13x13 + 557x14 + 552x15 + 723x16 + 428x17 + 278x18 + 966x19 + 857x20 + 54x21 + 272x22 + 592x23 + 860x24 + 878x25 + 734x26 + 536x27 + 541x28 + 425x29 + 210x30 + 137x31 + 900x32 + 870x33 + 660x34 + 664x35 + 964x36 + 758x37 + 701x38 + 983x39 + 804x40 + 130x41 + 265x42 + 856x43 + 819x44 + 719x45 + 415x46 + 750x47 + 306x48 + 915x49 + 969x50 + 571x51 + 783x52 + 485x53 + 537x54 + 970x55 + 941x56 + 671x57 + 186x58 + 571x59 + 606x60 + 187x61 + 986x62 + 297x63 + 588x64 + 662x65 + 690x66 + 76x67 + 570x68 + 120x69 + 4x70 + 166x71 + 302x72 + 207x73 + 879x74 + 78x75 + 931x76 + 839x77 + 644x78 + 278x79 + 289x80 + 346x81 + 342x82 + 77x83 + 876x84 + 872x85 + 172x86 + 836x87 + 998x88 + 422x89 + 703x90 + 41x91 + 844x92 + 158x93 + 59x94 + 838x95 + 521x96 + 787x97 + 990x98 + 576x99 + 757x100 <= 12297 
constr4: + 240x1 + 593x2 + 646x3 + 650x4 + 322x5 + 846x6 + 380x7 + 62x8 + 803x9 + 713x10 + 47x11 + 195x12 + 141x13 + 1000x14 + 967x15 + 117x16 + 595x17 + 804x18 + 357x19 + 292x20 + 579x21 + 939x22 + 489x23 + 95x24 + 504x25 + 340x26 + 824x27 + 82x28 + 901x29 + 181x30 + 298x31 + 974x32 + 962x33 + 951x34 + 397x35 + 381x36 + 559x37 + 845x38 + 572x39 + 772x40 + 257x41 + 199x42 + 61x43 + 717x44 + 655x45 + 754x46 + 110x47 + 289x48 + 76x49 + 28x50 + 766x51 + 345x52 + 75x53 + 600x54 + 251x55 + 863x56 + 700x57 + 718x58 + 335x59 + 559x60 + 377x61 + 489x62 + 921x63 + 385x64 + 960x65 + 542x66 + 974x67 + 594x68 + 966x69 + 208x70 + 757x71 + 621x72 + 632x73 + 60x74 + 219x75 + 429x76 + 866x77 + 581x78 + 187x79 + 511x80 + 204x81 + 424x82 + 716x83 + 42x84 + 393x85 + 550x86 + 441x87 + 599x88 + 917x89 + 876x90 + 353x91 + 24x92 + 577x93 + 402x94 + 131x95 + 64x96 + 801x97 + 694x98 + 7x99 + 398x100 <= 12018 
constr5: + 511x1 + 711x2 + 644x3 + 369x4 + 833x5 + 224x6 + 698x7 + 235x8 + 595x9 + 78x10 + 795x11 + 761x12 + 531x13 + 934x14 + 545x15 + 770x16 + 641x17 + 560x18 + 953x19 + 378x20 + 393x21 + 603x22 + 312x23 + 829x24 + 692x25 + 576x26 + 550x27 + 117x28 + 590x29 + 704x30 + 107x31 + 85x32 + 518x33 + 781x34 + 636x35 + 10x36 + 392x37 + 834x38 + 756x39 + 268x40 + 787x41 + 450x42 + 395x43 + 953x44 + 969x45 + 394x46 + 104x47 + 444x48 + 58x49 + 686x50 + 630x51 + 592x52 + 504x53 + 629x54 + 385x55 + 639x56 + 145x57 + 148x58 + 390x59 + 561x60 + 495x61 + 507x62 + 27x63 + 86x64 + 911x65 + 834x66 + 420x67 + 403x68 + 284x69 + 570x70 + 442x71 + 500x72 + 138x73 + 851x74 + 977x75 + 686x76 + 98x77 + 226x78 + 97x79 + 826x80 + 129x81 + 471x82 + 16x83 + 737x84 + 455x85 + 104x86 + 578x87 + 323x88 + 689x89 + 544x90 + 809x91 + 726x92 + 174x93 + 925x94 + 850x95 + 960x96 + 306x97 + 133x98 + 246x99 + 579x100 <= 12712 
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