minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38197.682000 
s2: s + 0.001000f1 + 0.501000f2 >= 38197.682000 
f1: -f1 + 734x1 + 1021x2 + 476x3 + 707x4 + 603x5 + 919x6 + 741x7 + 757x8 + 846x9 + 833x10 + 708x11 + 1052x12 + 853x13 + 766x14 + 993x15 + 819x16 + 506x17 + 881x18 + 593x19 + 471x20 + 720x21 + 913x22 + 576x23 + 701x24 + 553x25 + 900x26 + 811x27 + 821x28 + 791x29 + 752x30 + 692x31 + 495x32 + 613x33 + 929x34 + 971x35 + 1082x36 + 809x37 + 972x38 + 1015x39 + 870x40 + 784x41 + 424x42 + 886x43 + 785x44 + 714x45 + 761x46 + 881x47 + 736x48 + 875x49 + 571x50 + 612x51 + 521x52 + 912x53 + 925x54 + 582x55 + 945x56 + 526x57 + 876x58 + 856x59 + 646x60 + 875x61 + 787x62 + 786x63 + 839x64 + 994x65 + 575x66 + 588x67 + 610x68 + 499x69 + 474x70 + 1017x71 + 652x72 + 927x73 + 782x74 + 955x75 + 519x76 + 840x77 + 636x78 + 930x79 + 892x80 + 784x81 + 717x82 + 410x83 + 913x84 + 739x85 + 994x86 + 541x87 + 679x88 + 721x89 + 945x90 + 923x91 + 798x92 + 710x93 + 846x94 + 664x95 + 842x96 + 954x97 + 492x98 + 813x99 + 346x100  = 0 
f2: -f2 + 892x1 + 1082x2 + 701x3 + 766x4 + 652x5 + 954x6 + 786x7 + 881x8 + 945x9 + 784x10 + 610x11 + 945x12 + 927x13 + 612x14 + 714x15 + 839x16 + 495x17 + 521x18 + 519x19 + 919x20 + 833x21 + 782x22 + 912x23 + 813x24 + 853x25 + 636x26 + 526x27 + 424x28 + 741x29 + 913x30 + 734x31 + 1052x32 + 553x33 + 819x34 + 717x35 + 785x36 + 846x37 + 1017x38 + 875x39 + 798x40 + 346x41 + 664x42 + 913x43 + 476x44 + 593x45 + 576x46 + 474x47 + 929x48 + 994x49 + 575x50 + 410x51 + 900x52 + 1021x53 + 923x54 + 993x55 + 856x56 + 492x57 + 811x58 + 876x59 + 842x60 + 710x61 + 955x62 + 1015x63 + 571x64 + 870x65 + 994x66 + 541x67 + 471x68 + 886x69 + 603x70 + 875x71 + 582x72 + 761x73 + 506x74 + 757x75 + 791x76 + 821x77 + 840x78 + 881x79 + 721x80 + 708x81 + 784x82 + 613x83 + 736x84 + 588x85 + 707x86 + 499x87 + 679x88 + 692x89 + 720x90 + 739x91 + 787x92 + 646x93 + 971x94 + 972x95 + 752x96 + 846x97 + 925x98 + 809x99 + 930x100  = 0 
constr1: + 784x1 + 159x2 + 316x3 + 866x4 + 961x5 + 829x6 + 885x7 + 150x8 + 834x9 + 106x10 + 716x11 + 450x12 + 18x13 + 108x14 + 124x15 + 754x16 + 193x17 + 650x18 + 429x19 + 563x20 + 93x21 + 411x22 + 476x23 + 425x24 + 329x25 + 678x26 + 63x27 + 299x28 + 35x29 + 482x30 + 187x31 + 820x32 + 411x33 + 613x34 + 208x35 + 850x36 + 881x37 + 942x38 + 361x39 + 944x40 + 438x41 + 942x42 + 111x43 + 478x44 + 375x45 + 41x46 + 629x47 + 758x48 + 680x49 + 495x50 + 955x51 + 887x52 + 333x53 + 15x54 + 821x55 + 683x56 + 280x57 + 977x58 + 619x59 + 123x60 + 544x61 + 929x62 + 801x63 + 368x64 + 462x65 + 241x66 + 655x67 + 482x68 + 680x69 + 717x70 + 208x71 + 499x72 + 664x73 + 358x74 + 420x75 + 714x76 + 732x77 + 482x78 + 824x79 + 331x80 + 678x81 + 825x82 + 523x83 + 323x84 + 611x85 + 704x86 + 713x87 + 894x88 + 854x89 + 928x90 + 418x91 + 611x92 + 588x93 + 837x94 + 890x95 + 437x96 + 167x97 + 953x98 + 384x99 + 979x100 <= 12605 
constr2: + 789x1 + 545x2 + 774x3 + 857x4 + 192x5 + 513x6 + 751x7 + 694x8 + 499x9 + 969x10 + 816x11 + 458x12 + 767x13 + 109x14 + 337x15 + 46x16 + 343x17 + 37x18 + 130x19 + 615x20 + 860x21 + 410x22 + 724x23 + 183x24 + 58x25 + 606x26 + 207x27 + 739x28 + 514x29 + 10x30 + 979x31 + 956x32 + 184x33 + 919x34 + 106x35 + 577x36 + 565x37 + 873x38 + 337x39 + 161x40 + 348x41 + 661x42 + 581x43 + 123x44 + 463x45 + 473x46 + 954x47 + 751x48 + 858x49 + 706x50 + 68x51 + 516x52 + 796x53 + 157x54 + 192x55 + 203x56 + 611x57 + 408x58 + 273x59 + 256x60 + 574x61 + 896x62 + 678x63 + 494x64 + 995x65 + 196x66 + 857x67 + 490x68 + 289x69 + 574x70 + 288x71 + 629x72 + 333x73 + 15x74 + 557x75 + 532x76 + 664x77 + 273x78 + 735x79 + 458x80 + 708x81 + 621x82 + 409x83 + 458x84 + 404x85 + 565x86 + 560x87 + 432x88 + 20x89 + 937x90 + 336x91 + 551x92 + 795x93 + 492x94 + 645x95 + 890x96 + 198x97 + 270x98 + 364x99 + 661x100 <= 11900 
constr3: + 218x1 + 817x2 + 455x3 + 62x4 + 834x5 + 665x6 + 95x7 + 109x8 + 542x9 + 7x10 + 854x11 + 814x12 + 823x13 + 764x14 + 922x15 + 55x16 + 826x17 + 452x18 + 559x19 + 16x20 + 551x21 + 959x22 + 36x23 + 577x24 + 932x25 + 56x26 + 475x27 + 891x28 + 361x29 + 448x30 + 675x31 + 724x32 + 275x33 + 18x34 + 456x35 + 701x36 + 100x37 + 526x38 + 55x39 + 453x40 + 799x41 + 897x42 + 285x43 + 814x44 + 862x45 + 257x46 + 503x47 + 396x48 + 270x49 + 427x50 + 40x51 + 675x52 + 519x53 + 606x54 + 57x55 + 601x56 + 327x57 + 976x58 + 2x59 + 950x60 + 998x61 + 118x62 + 980x63 + 361x64 + 9x65 + 894x66 + 89x67 + 419x68 + 346x69 + 47x70 + 56x71 + 500x72 + 732x73 + 45x74 + 460x75 + 660x76 + 705x77 + 32x78 + 100x79 + 129x80 + 190x81 + 12x82 + 258x83 + 405x84 + 916x85 + 1000x86 + 486x87 + 391x88 + 495x89 + 465x90 + 138x91 + 759x92 + 184x93 + 839x94 + 198x95 + 596x96 + 308x97 + 605x98 + 83x99 + 24x100 <= 12085 
constr4: + 320x1 + 745x2 + 54x3 + 367x4 + 697x5 + 432x6 + 650x7 + 130x8 + 795x9 + 64x10 + 631x11 + 56x12 + 437x13 + 28x14 + 75x15 + 386x16 + 890x17 + 299x18 + 709x19 + 484x20 + 994x21 + 102x22 + 925x23 + 839x24 + 263x25 + 93x26 + 202x27 + 414x28 + 362x29 + 969x30 + 467x31 + 923x32 + 86x33 + 81x34 + 489x35 + 985x36 + 801x37 + 392x38 + 881x39 + 977x40 + 704x41 + 267x42 + 701x43 + 1000x44 + 746x45 + 101x46 + 402x47 + 533x48 + 787x49 + 221x50 + 705x51 + 445x52 + 936x53 + 852x54 + 753x55 + 297x56 + 447x57 + 530x58 + 161x59 + 781x60 + 166x61 + 408x62 + 752x63 + 209x64 + 233x65 + 549x66 + 574x67 + 226x68 + 39x69 + 899x70 + 746x71 + 32x72 + 643x73 + 761x74 + 821x75 + 279x76 + 93x77 + 41x78 + 827x79 + 32x80 + 489x81 + 994x82 + 360x83 + 239x84 + 413x85 + 653x86 + 582x87 + 804x88 + 805x89 + 10x90 + 361x91 + 28x92 + 592x93 + 786x94 + 686x95 + 560x96 + 978x97 + 956x98 + 229x99 + 411x100 <= 13701 
constr5: + 117x1 + 525x2 + 334x3 + 621x4 + 57x5 + 990x6 + 953x7 + 860x8 + 386x9 + 82x10 + 708x11 + 284x12 + 875x13 + 489x14 + 915x15 + 439x16 + 469x17 + 668x18 + 507x19 + 73x20 + 299x21 + 717x22 + 285x23 + 707x24 + 613x25 + 11x26 + 528x27 + 98x28 + 991x29 + 585x30 + 422x31 + 846x32 + 762x33 + 645x34 + 244x35 + 902x36 + 416x37 + 532x38 + 532x39 + 48x40 + 65x41 + 427x42 + 76x43 + 988x44 + 274x45 + 501x46 + 734x47 + 329x48 + 483x49 + 361x50 + 696x51 + 403x52 + 183x53 + 539x54 + 804x55 + 285x56 + 686x57 + 512x58 + 232x59 + 267x60 + 572x61 + 701x62 + 773x63 + 382x64 + 497x65 + 903x66 + 169x67 + 675x68 + 289x69 + 490x70 + 134x71 + 314x72 + 492x73 + 724x74 + 259x75 + 208x76 + 805x77 + 993x78 + 448x79 + 71x80 + 972x81 + 703x82 + 189x83 + 235x84 + 654x85 + 785x86 + 10x87 + 525x88 + 802x89 + 471x90 + 950x91 + 650x92 + 500x93 + 602x94 + 58x95 + 419x96 + 380x97 + 73x98 + 508x99 + 940x100 <= 12890 
constr6: + 224x1 + 937x2 + 513x3 + 641x4 + 441x5 + 621x6 + 687x7 + 211x8 + 578x9 + 152x10 + 23x11 + 237x12 + 263x13 + 858x14 + 222x15 + 790x16 + 380x17 + 715x18 + 853x19 + 434x20 + 583x21 + 202x22 + 135x23 + 808x24 + 418x25 + 310x26 + 861x27 + 275x28 + 348x29 + 439x30 + 827x31 + 851x32 + 983x33 + 979x34 + 795x35 + 660x36 + 74x37 + 324x38 + 423x39 + 204x40 + 622x41 + 182x42 + 881x43 + 399x44 + 754x45 + 940x46 + 748x47 + 277x48 + 961x49 + 546x50 + 810x51 + 504x52 + 689x53 + 682x54 + 159x55 + 288x56 + 389x57 + 689x58 + 562x59 + 704x60 + 305x61 + 545x62 + 985x63 + 785x64 + 946x65 + 207x66 + 156x67 + 509x68 + 374x69 + 716x70 + 431x71 + 771x72 + 14x73 + 726x74 + 938x75 + 183x76 + 297x77 + 719x78 + 18x79 + 385x80 + 434x81 + 962x82 + 639x83 + 347x84 + 703x85 + 611x86 + 414x87 + 494x88 + 730x89 + 702x90 + 359x91 + 420x92 + 890x93 + 365x94 + 183x95 + 212x96 + 161x97 + 92x98 + 621x99 + 515x100 <= 13113 
constr7: + 410x1 + 110x2 + 24x3 + 268x4 + 496x5 + 709x6 + 361x7 + 950x8 + 197x9 + 801x10 + 165x11 + 7x12 + 490x13 + 543x14 + 911x15 + 513x16 + 936x17 + 9x18 + 545x19 + 693x20 + 591x21 + 838x22 + 520x23 + 711x24 + 730x25 + 168x26 + 445x27 + 591x28 + 632x29 + 395x30 + 700x31 + 512x32 + 882x33 + 154x34 + 430x35 + 75x36 + 129x37 + 955x38 + 665x39 + 867x40 + 567x41 + 432x42 + 956x43 + 768x44 + 428x45 + 23x46 + 238x47 + 934x48 + 505x49 + 560x50 + 806x51 + 606x52 + 61x53 + 460x54 + 986x55 + 898x56 + 325x57 + 954x58 + 690x59 + 650x60 + 966x61 + 90x62 + 661x63 + 795x64 + 475x65 + 700x66 + 529x67 + 317x68 + 148x69 + 976x70 + 868x71 + 891x72 + 962x73 + 318x74 + 672x75 + 653x76 + 750x77 + 949x78 + 905x79 + 183x80 + 114x81 + 270x82 + 487x83 + 241x84 + 564x85 + 352x86 + 728x87 + 702x88 + 88x89 + 796x90 + 885x91 + 800x92 + 629x93 + 872x94 + 866x95 + 25x96 + 317x97 + 886x98 + 64x99 + 89x100 <= 12066 
constr8: + 738x1 + 246x2 + 209x3 + 710x4 + 858x5 + 342x6 + 933x7 + 972x8 + 266x9 + 12x10 + 293x11 + 276x12 + 329x13 + 1000x14 + 285x15 + 717x16 + 23x17 + 566x18 + 523x19 + 281x20 + 979x21 + 447x22 + 396x23 + 982x24 + 957x25 + 631x26 + 335x27 + 831x28 + 771x29 + 127x30 + 310x31 + 474x32 + 38x33 + 938x34 + 682x35 + 578x36 + 907x37 + 250x38 + 501x39 + 205x40 + 84x41 + 674x42 + 864x43 + 5x44 + 975x45 + 780x46 + 165x47 + 473x48 + 748x49 + 842x50 + 580x51 + 178x52 + 913x53 + 719x54 + 504x55 + 529x56 + 568x57 + 477x58 + 608x59 + 574x60 + 85x61 + 935x62 + 17x63 + 184x64 + 27x65 + 238x66 + 473x67 + 826x68 + 478x69 + 142x70 + 19x71 + 777x72 + 536x73 + 392x74 + 352x75 + 17x76 + 918x77 + 423x78 + 930x79 + 16x80 + 26x81 + 406x82 + 441x83 + 432x84 + 593x85 + 822x86 + 793x87 + 175x88 + 629x89 + 627x90 + 239x91 + 912x92 + 570x93 + 558x94 + 561x95 + 777x96 + 570x97 + 642x98 + 229x99 + 77x100 <= 11586 
constr9: + 248x1 + 168x2 + 174x3 + 530x4 + 944x5 + 40x6 + 612x7 + 612x8 + 932x9 + 590x10 + 490x11 + 292x12 + 718x13 + 788x14 + 976x15 + 943x16 + 772x17 + 159x18 + 169x19 + 35x20 + 809x21 + 919x22 + 222x23 + 324x24 + 889x25 + 257x26 + 354x27 + 831x28 + 439x29 + 206x30 + 317x31 + 610x32 + 160x33 + 643x34 + 844x35 + 527x36 + 855x37 + 289x38 + 453x39 + 847x40 + 754x41 + 356x42 + 317x43 + 883x44 + 1x45 + 430x46 + 35x47 + 250x48 + 636x49 + 84x50 + 77x51 + 240x52 + 420x53 + 870x54 + 432x55 + 571x56 + 710x57 + 905x58 + 490x59 + 735x60 + 85x61 + 46x62 + 106x63 + 465x64 + 415x65 + 282x66 + 52x67 + 589x68 + 222x69 + 878x70 + 56x71 + 234x72 + 934x73 + 647x74 + 130x75 + 859x76 + 59x77 + 901x78 + 650x79 + 430x80 + 866x81 + 230x82 + 795x83 + 566x84 + 509x85 + 330x86 + 597x87 + 523x88 + 290x89 + 894x90 + 261x91 + 839x92 + 443x93 + 107x94 + 322x95 + 505x96 + 813x97 + 183x98 + 96x99 + 348x100 <= 13495 
constr10: + 482x1 + 150x2 + 348x3 + 295x4 + 384x5 + 330x6 + 889x7 + 858x8 + 811x9 + 948x10 + 457x11 + 213x12 + 775x13 + 592x14 + 839x15 + 510x16 + 124x17 + 132x18 + 969x19 + 598x20 + 287x21 + 646x22 + 154x23 + 291x24 + 617x25 + 642x26 + 71x27 + 926x28 + 13x29 + 103x30 + 876x31 + 132x32 + 772x33 + 672x34 + 775x35 + 502x36 + 555x37 + 509x38 + 633x39 + 171x40 + 577x41 + 353x42 + 970x43 + 291x44 + 83x45 + 724x46 + 228x47 + 115x48 + 882x49 + 185x50 + 949x51 + 894x52 + 858x53 + 119x54 + 320x55 + 457x56 + 387x57 + 178x58 + 690x59 + 148x60 + 818x61 + 490x62 + 319x63 + 526x64 + 462x65 + 448x66 + 613x67 + 103x68 + 725x69 + 341x70 + 837x71 + 317x72 + 367x73 + 269x74 + 167x75 + 82x76 + 368x77 + 486x78 + 509x79 + 170x80 + 72x81 + 828x82 + 53x83 + 968x84 + 932x85 + 559x86 + 977x87 + 664x88 + 317x89 + 209x90 + 273x91 + 188x92 + 902x93 + 466x94 + 254x95 + 834x96 + 56x97 + 286x98 + 190x99 + 538x100 <= 12039 
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