minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38846.768000 
s2: s + 0.001000f1 + 0.501000f2 >= 38846.768000 
f1: -f1 + 764x1 + 816x2 + 812x3 + 712x4 + 518x5 + 741x6 + 806x7 + 798x8 + 1043x9 + 886x10 + 928x11 + 522x12 + 1243x13 + 671x14 + 813x15 + 701x16 + 1041x17 + 645x18 + 782x19 + 488x20 + 629x21 + 937x22 + 486x23 + 642x24 + 781x25 + 751x26 + 521x27 + 972x28 + 578x29 + 792x30 + 1087x31 + 809x32 + 574x33 + 940x34 + 1030x35 + 812x36 + 776x37 + 764x38 + 439x39 + 574x40 + 1081x41 + 1139x42 + 1089x43 + 807x44 + 657x45 + 900x46 + 699x47 + 534x48 + 989x49 + 812x50 + 862x51 + 518x52 + 580x53 + 878x54 + 602x55 + 519x56 + 664x57 + 971x58 + 772x59 + 619x60 + 1103x61 + 770x62 + 832x63 + 712x64 + 518x65 + 917x66 + 817x67 + 786x68 + 996x69 + 933x70 + 1021x71 + 899x72 + 703x73 + 471x74 + 1043x75 + 709x76 + 906x77 + 633x78 + 553x79 + 570x80 + 628x81 + 791x82 + 932x83 + 660x84 + 928x85 + 842x86 + 852x87 + 591x88 + 539x89 + 719x90 + 827x91 + 624x92 + 811x93 + 988x94 + 835x95 + 684x96 + 586x97 + 871x98 + 655x99 + 813x100  = 0 
f2: -f2 + 574x1 + 539x2 + 534x3 + 972x4 + 1021x5 + 1089x6 + 624x7 + 817x8 + 1043x9 + 900x10 + 862x11 + 807x12 + 781x13 + 852x14 + 989x15 + 629x16 + 751x17 + 782x18 + 1030x19 + 709x20 + 684x21 + 933x22 + 518x23 + 521x24 + 1081x25 + 578x26 + 940x27 + 701x28 + 917x29 + 1139x30 + 671x31 + 827x32 + 1041x33 + 899x34 + 996x35 + 764x36 + 1243x37 + 570x38 + 770x39 + 791x40 + 586x41 + 591x42 + 813x43 + 518x44 + 764x45 + 871x46 + 813x47 + 488x48 + 712x49 + 519x50 + 522x51 + 628x52 + 812x53 + 471x54 + 792x55 + 518x56 + 906x57 + 719x58 + 812x59 + 1103x60 + 811x61 + 786x62 + 657x63 + 602x64 + 645x65 + 806x66 + 553x67 + 703x68 + 932x69 + 486x70 + 776x71 + 832x72 + 619x73 + 812x74 + 772x75 + 809x76 + 655x77 + 816x78 + 1087x79 + 741x80 + 439x81 + 886x82 + 937x83 + 664x84 + 842x85 + 642x86 + 928x87 + 878x88 + 1043x89 + 928x90 + 660x91 + 971x92 + 633x93 + 835x94 + 574x95 + 699x96 + 580x97 + 798x98 + 988x99 + 712x100  = 0 
constr1: + 66x1 + 338x2 + 395x3 + 944x4 + 17x5 + 328x6 + 468x7 + 145x8 + 816x9 + 229x10 + 963x11 + 542x12 + 960x13 + 773x14 + 458x15 + 821x16 + 969x17 + 866x18 + 661x19 + 745x20 + 627x21 + 935x22 + 18x23 + 873x24 + 901x25 + 79x26 + 863x27 + 856x28 + 297x29 + 756x30 + 219x31 + 804x32 + 811x33 + 979x34 + 897x35 + 322x36 + 407x37 + 109x38 + 578x39 + 751x40 + 698x41 + 94x42 + 714x43 + 710x44 + 998x45 + 767x46 + 880x47 + 919x48 + 657x49 + 269x50 + 560x51 + 307x52 + 845x53 + 778x54 + 234x55 + 419x56 + 927x57 + 578x58 + 43x59 + 561x60 + 130x61 + 365x62 + 217x63 + 11x64 + 955x65 + 521x66 + 177x67 + 981x68 + 116x69 + 367x70 + 379x71 + 165x72 + 300x73 + 867x74 + 915x75 + 743x76 + 979x77 + 838x78 + 775x79 + 273x80 + 376x81 + 854x82 + 886x83 + 967x84 + 85x85 + 26x86 + 709x87 + 854x88 + 216x89 + 793x90 + 233x91 + 474x92 + 522x93 + 970x94 + 402x95 + 82x96 + 281x97 + 580x98 + 589x99 + 73x100 <= 34806 
constr2: + 681x1 + 798x2 + 44x3 + 340x4 + 834x5 + 774x6 + 213x7 + 399x8 + 472x9 + 890x10 + 22x11 + 141x12 + 456x13 + 552x14 + 665x15 + 851x16 + 162x17 + 347x18 + 910x19 + 92x20 + 731x21 + 164x22 + 909x23 + 772x24 + 827x25 + 765x26 + 463x27 + 284x28 + 159x29 + 22x30 + 548x31 + 850x32 + 350x33 + 443x34 + 316x35 + 232x36 + 501x37 + 993x38 + 361x39 + 579x40 + 637x41 + 278x42 + 201x43 + 324x44 + 378x45 + 776x46 + 750x47 + 232x48 + 284x49 + 219x50 + 72x51 + 177x52 + 783x53 + 870x54 + 567x55 + 461x56 + 484x57 + 548x58 + 628x59 + 396x60 + 144x61 + 182x62 + 167x63 + 740x64 + 859x65 + 173x66 + 224x67 + 319x68 + 537x69 + 226x70 + 161x71 + 265x72 + 970x73 + 216x74 + 840x75 + 380x76 + 43x77 + 734x78 + 703x79 + 863x80 + 148x81 + 929x82 + 453x83 + 560x84 + 738x85 + 86x86 + 477x87 + 584x88 + 477x89 + 585x90 + 868x91 + 437x92 + 210x93 + 755x94 + 590x95 + 527x96 + 616x97 + 933x98 + 72x99 + 479x100 <= 38798 
constr3: + 626x1 + 738x2 + 277x3 + 348x4 + 783x5 + 81x6 + 37x7 + 95x8 + 509x9 + 229x10 + 436x11 + 828x12 + 9x13 + 785x14 + 499x15 + 788x16 + 236x17 + 895x18 + 571x19 + 486x20 + 787x21 + 889x22 + 341x23 + 331x24 + 230x25 + 744x26 + 96x27 + 393x28 + 578x29 + 144x30 + 488x31 + 986x32 + 353x33 + 440x34 + 427x35 + 324x36 + 703x37 + 292x38 + 124x39 + 753x40 + 973x41 + 973x42 + 491x43 + 54x44 + 936x45 + 45x46 + 825x47 + 574x48 + 633x49 + 174x50 + 254x51 + 174x52 + 949x53 + 914x54 + 460x55 + 169x56 + 492x57 + 170x58 + 235x59 + 851x60 + 980x61 + 418x62 + 406x63 + 472x64 + 461x65 + 504x66 + 338x67 + 804x68 + 204x69 + 219x70 + 372x71 + 770x72 + 570x73 + 128x74 + 826x75 + 744x76 + 404x77 + 260x78 + 847x79 + 447x80 + 715x81 + 912x82 + 385x83 + 669x84 + 644x85 + 206x86 + 228x87 + 973x88 + 719x89 + 479x90 + 407x91 + 916x92 + 634x93 + 110x94 + 804x95 + 260x96 + 309x97 + 180x98 + 978x99 + 914x100 <= 35281 
constr4: + 661x1 + 778x2 + 269x3 + 42x4 + 513x5 + 185x6 + 302x7 + 7x8 + 412x9 + 126x10 + 657x11 + 165x12 + 210x13 + 646x14 + 919x15 + 72x16 + 457x17 + 20x18 + 165x19 + 713x20 + 5x21 + 207x22 + 908x23 + 900x24 + 671x25 + 496x26 + 554x27 + 114x28 + 264x29 + 79x30 + 848x31 + 478x32 + 904x33 + 821x34 + 140x35 + 178x36 + 627x37 + 626x38 + 478x39 + 473x40 + 968x41 + 406x42 + 77x43 + 620x44 + 611x45 + 953x46 + 58x47 + 608x48 + 619x49 + 630x50 + 417x51 + 45x52 + 354x53 + 897x54 + 349x55 + 398x56 + 450x57 + 663x58 + 323x59 + 533x60 + 908x61 + 844x62 + 907x63 + 758x64 + 577x65 + 989x66 + 429x67 + 401x68 + 523x69 + 950x70 + 368x71 + 131x72 + 155x73 + 850x74 + 826x75 + 716x76 + 403x77 + 496x78 + 734x79 + 8x80 + 42x81 + 147x82 + 119x83 + 352x84 + 525x85 + 575x86 + 127x87 + 680x88 + 179x89 + 881x90 + 405x91 + 816x92 + 934x93 + 517x94 + 848x95 + 526x96 + 943x97 + 752x98 + 871x99 + 624x100 <= 39785 
constr5: + 350x1 + 226x2 + 651x3 + 871x4 + 406x5 + 828x6 + 492x7 + 981x8 + 21x9 + 947x10 + 810x11 + 42x12 + 234x13 + 813x14 + 668x15 + 130x16 + 729x17 + 645x18 + 2x19 + 686x20 + 100x21 + 11x22 + 267x23 + 636x24 + 252x25 + 632x26 + 216x27 + 491x28 + 410x29 + 325x30 + 513x31 + 746x32 + 99x33 + 380x34 + 854x35 + 88x36 + 646x37 + 771x38 + 765x39 + 604x40 + 582x41 + 655x42 + 624x43 + 724x44 + 652x45 + 612x46 + 566x47 + 848x48 + 251x49 + 191x50 + 687x51 + 94x52 + 84x53 + 30x54 + 547x55 + 125x56 + 803x57 + 365x58 + 322x59 + 853x60 + 78x61 + 265x62 + 186x63 + 690x64 + 747x65 + 255x66 + 135x67 + 679x68 + 688x69 + 52x70 + 164x71 + 775x72 + 546x73 + 459x74 + 589x75 + 484x76 + 185x77 + 988x78 + 887x79 + 562x80 + 752x81 + 858x82 + 52x83 + 83x84 + 104x85 + 747x86 + 161x87 + 555x88 + 980x89 + 818x90 + 626x91 + 27x92 + 772x93 + 670x94 + 635x95 + 479x96 + 741x97 + 634x98 + 518x99 + 578x100 <= 38870 
constr6: + 676x1 + 817x2 + 784x3 + 738x4 + 659x5 + 742x6 + 315x7 + 671x8 + 633x9 + 167x10 + 802x11 + 107x12 + 207x13 + 680x14 + 485x15 + 64x16 + 781x17 + 643x18 + 226x19 + 839x20 + 244x21 + 222x22 + 295x23 + 2x24 + 731x25 + 410x26 + 554x27 + 826x28 + 740x29 + 564x30 + 443x31 + 929x32 + 230x33 + 614x34 + 415x35 + 439x36 + 939x37 + 29x38 + 53x39 + 215x40 + 58x41 + 674x42 + 154x43 + 584x44 + 268x45 + 587x46 + 191x47 + 143x48 + 776x49 + 569x50 + 360x51 + 226x52 + 769x53 + 610x54 + 925x55 + 893x56 + 253x57 + 54x58 + 307x59 + 134x60 + 15x61 + 996x62 + 305x63 + 667x64 + 644x65 + 789x66 + 621x67 + 713x68 + 463x69 + 85x70 + 727x71 + 140x72 + 54x73 + 319x74 + 963x75 + 284x76 + 908x77 + 552x78 + 913x79 + 820x80 + 688x81 + 833x82 + 846x83 + 539x84 + 611x85 + 87x86 + 899x87 + 725x88 + 436x89 + 748x90 + 627x91 + 201x92 + 277x93 + 990x94 + 927x95 + 282x96 + 165x97 + 933x98 + 395x99 + 169x100 <= 34255 
constr7: + 940x1 + 969x2 + 444x3 + 646x4 + 69x5 + 180x6 + 846x7 + 418x8 + 173x9 + 4x10 + 531x11 + 846x12 + 488x13 + 835x14 + 181x15 + 107x16 + 731x17 + 750x18 + 7x19 + 380x20 + 650x21 + 336x22 + 579x23 + 496x24 + 604x25 + 942x26 + 949x27 + 589x28 + 452x29 + 83x30 + 376x31 + 617x32 + 336x33 + 731x34 + 703x35 + 824x36 + 756x37 + 762x38 + 587x39 + 307x40 + 853x41 + 52x42 + 617x43 + 582x44 + 64x45 + 109x46 + 186x47 + 887x48 + 443x49 + 832x50 + 884x51 + 404x52 + 889x53 + 722x54 + 942x55 + 291x56 + 817x57 + 286x58 + 438x59 + 17x60 + 653x61 + 288x62 + 84x63 + 742x64 + 853x65 + 429x66 + 166x67 + 78x68 + 667x69 + 399x70 + 980x71 + 656x72 + 734x73 + 444x74 + 275x75 + 696x76 + 194x77 + 149x78 + 269x79 + 310x80 + 549x81 + 585x82 + 197x83 + 950x84 + 889x85 + 970x86 + 301x87 + 217x88 + 262x89 + 317x90 + 26x91 + 721x92 + 471x93 + 676x94 + 741x95 + 559x96 + 90x97 + 285x98 + 354x99 + 126x100 <= 37976 
constr8: + 181x1 + 72x2 + 864x3 + 585x4 + 318x5 + 556x6 + 845x7 + 377x8 + 472x9 + 187x10 + 224x11 + 899x12 + 581x13 + 730x14 + 474x15 + 1x16 + 915x17 + 273x18 + 150x19 + 202x20 + 674x21 + 733x22 + 674x23 + 223x24 + 104x25 + 205x26 + 170x27 + 217x28 + 670x29 + 278x30 + 662x31 + 336x32 + 283x33 + 264x34 + 801x35 + 147x36 + 206x37 + 785x38 + 250x39 + 173x40 + 630x41 + 40x42 + 453x43 + 572x44 + 460x45 + 969x46 + 57x47 + 866x48 + 549x49 + 102x50 + 26x51 + 358x52 + 211x53 + 521x54 + 334x55 + 666x56 + 187x57 + 61x58 + 426x59 + 252x60 + 662x61 + 237x62 + 716x63 + 695x64 + 186x65 + 625x66 + 856x67 + 633x68 + 424x69 + 998x70 + 510x71 + 773x72 + 814x73 + 348x74 + 800x75 + 873x76 + 36x77 + 64x78 + 518x79 + 631x80 + 641x81 + 458x82 + 916x83 + 246x84 + 558x85 + 358x86 + 257x87 + 503x88 + 367x89 + 837x90 + 415x91 + 291x92 + 783x93 + 451x94 + 240x95 + 882x96 + 339x97 + 313x98 + 957x99 + 563x100 <= 39761 
constr9: + 744x1 + 121x2 + 87x3 + 212x4 + 287x5 + 182x6 + 831x7 + 291x8 + 622x9 + 952x10 + 982x11 + 24x12 + 459x13 + 450x14 + 879x15 + 740x16 + 680x17 + 294x18 + 625x19 + 911x20 + 564x21 + 9x22 + 80x23 + 987x24 + 64x25 + 786x26 + 501x27 + 616x28 + 377x29 + 376x30 + 964x31 + 895x32 + 266x33 + 187x34 + 347x35 + 633x36 + 897x37 + 448x38 + 872x39 + 871x40 + 808x41 + 351x42 + 281x43 + 721x44 + 251x45 + 863x46 + 332x47 + 234x48 + 438x49 + 599x50 + 175x51 + 272x52 + 526x53 + 444x54 + 262x55 + 655x56 + 669x57 + 848x58 + 394x59 + 445x60 + 281x61 + 103x62 + 574x63 + 293x64 + 588x65 + 826x66 + 867x67 + 374x68 + 843x69 + 742x70 + 915x71 + 467x72 + 384x73 + 204x74 + 751x75 + 771x76 + 586x77 + 624x78 + 428x79 + 24x80 + 563x81 + 732x82 + 183x83 + 362x84 + 695x85 + 581x86 + 799x87 + 548x88 + 609x89 + 147x90 + 570x91 + 563x92 + 743x93 + 379x94 + 860x95 + 724x96 + 131x97 + 606x98 + 29x99 + 309x100 <= 39238 
constr10: + 706x1 + 482x2 + 781x3 + 816x4 + 198x5 + 921x6 + 148x7 + 76x8 + 265x9 + 356x10 + 379x11 + 330x12 + 51x13 + 636x14 + 119x15 + 946x16 + 936x17 + 715x18 + 531x19 + 633x20 + 841x21 + 834x22 + 237x23 + 194x24 + 505x25 + 682x26 + 96x27 + 713x28 + 602x29 + 389x30 + 721x31 + 424x32 + 287x33 + 723x34 + 532x35 + 477x36 + 425x37 + 664x38 + 383x39 + 840x40 + 877x41 + 171x42 + 651x43 + 111x44 + 906x45 + 799x46 + 913x47 + 764x48 + 437x49 + 275x50 + 136x51 + 531x52 + 503x53 + 692x54 + 634x55 + 462x56 + 452x57 + 424x58 + 598x59 + 43x60 + 292x61 + 826x62 + 325x63 + 899x64 + 548x65 + 731x66 + 864x67 + 723x68 + 948x69 + 21x70 + 973x71 + 253x72 + 784x73 + 328x74 + 424x75 + 310x76 + 640x77 + 255x78 + 526x79 + 511x80 + 866x81 + 578x82 + 866x83 + 422x84 + 414x85 + 115x86 + 250x87 + 149x88 + 511x89 + 667x90 + 16x91 + 151x92 + 615x93 + 693x94 + 948x95 + 256x96 + 657x97 + 360x98 + 767x99 + 276x100 <= 39017 
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