minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37960.738000 
s2: s + 0.001000f1 + 0.501000f2 >= 37960.738000 
f1: -f1 + 909x1 + 617x2 + 704x3 + 815x4 + 853x5 + 892x6 + 851x7 + 769x8 + 688x9 + 1005x10 + 461x11 + 386x12 + 781x13 + 1081x14 + 821x15 + 912x16 + 649x17 + 1247x18 + 704x19 + 614x20 + 911x21 + 915x22 + 685x23 + 862x24 + 856x25 + 619x26 + 655x27 + 893x28 + 859x29 + 866x30 + 701x31 + 634x32 + 729x33 + 590x34 + 790x35 + 523x36 + 463x37 + 810x38 + 971x39 + 1032x40 + 593x41 + 625x42 + 1020x43 + 766x44 + 791x45 + 472x46 + 656x47 + 885x48 + 794x49 + 499x50 + 547x51 + 813x52 + 271x53 + 714x54 + 563x55 + 484x56 + 528x57 + 1009x58 + 719x59 + 775x60 + 496x61 + 1127x62 + 702x63 + 380x64 + 848x65 + 646x66 + 857x67 + 435x68 + 850x69 + 917x70 + 657x71 + 830x72 + 629x73 + 944x74 + 1052x75 + 1084x76 + 936x77 + 756x78 + 962x79 + 641x80 + 590x81 + 926x82 + 933x83 + 888x84 + 894x85 + 506x86 + 698x87 + 821x88 + 668x89 + 741x90 + 583x91 + 885x92 + 747x93 + 1150x94 + 909x95 + 621x96 + 805x97 + 624x98 + 708x99 + 526x100  = 0 
f2: -f2 + 790x1 + 729x2 + 499x3 + 862x4 + 850x5 + 815x6 + 917x7 + 523x8 + 756x9 + 830x10 + 617x11 + 271x12 + 625x13 + 655x14 + 747x15 + 668x16 + 380x17 + 888x18 + 894x19 + 590x20 + 461x21 + 646x22 + 909x23 + 656x24 + 702x25 + 1005x26 + 593x27 + 1150x28 + 810x29 + 657x30 + 915x31 + 912x32 + 1020x33 + 1127x34 + 621x35 + 1247x36 + 386x37 + 794x38 + 971x39 + 741x40 + 857x41 + 629x42 + 1084x43 + 496x44 + 528x45 + 853x46 + 1081x47 + 472x48 + 866x49 + 688x50 + 911x51 + 821x52 + 944x53 + 766x54 + 619x55 + 821x56 + 936x57 + 714x58 + 719x59 + 526x60 + 484x61 + 781x62 + 805x63 + 926x64 + 634x65 + 1052x66 + 1032x67 + 885x68 + 435x69 + 704x70 + 701x71 + 624x72 + 506x73 + 813x74 + 769x75 + 848x76 + 698x77 + 775x78 + 563x79 + 856x80 + 708x81 + 583x82 + 704x83 + 1009x84 + 851x85 + 933x86 + 885x87 + 463x88 + 649x89 + 641x90 + 909x91 + 791x92 + 547x93 + 859x94 + 892x95 + 962x96 + 590x97 + 893x98 + 614x99 + 685x100  = 0 
constr1: + 21x1 + 636x2 + 866x3 + 240x4 + 638x5 + 546x6 + 428x7 + 163x8 + 726x9 + 72x10 + 746x11 + 104x12 + 400x13 + 595x14 + 86x15 + 175x16 + 556x17 + 549x18 + 796x19 + 906x20 + 685x21 + 150x22 + 268x23 + 831x24 + 608x25 + 408x26 + 770x27 + 188x28 + 496x29 + 749x30 + 332x31 + 276x32 + 730x33 + 321x34 + 474x35 + 876x36 + 481x37 + 264x38 + 202x39 + 204x40 + 594x41 + 142x42 + 635x43 + 726x44 + 334x45 + 289x46 + 710x47 + 225x48 + 730x49 + 127x50 + 133x51 + 371x52 + 398x53 + 111x54 + 91x55 + 272x56 + 399x57 + 58x58 + 511x59 + 406x60 + 342x61 + 518x62 + 297x63 + 389x64 + 750x65 + 414x66 + 176x67 + 479x68 + 343x69 + 124x70 + 66x71 + 100x72 + 115x73 + 162x74 + 721x75 + 883x76 + 636x77 + 667x78 + 278x79 + 312x80 + 818x81 + 573x82 + 231x83 + 520x84 + 206x85 + 75x86 + 672x87 + 494x88 + 352x89 + 589x90 + 420x91 + 75x92 + 377x93 + 799x94 + 937x95 + 848x96 + 849x97 + 610x98 + 437x99 + 252x100 <= 26241 
constr2: + 619x1 + 849x2 + 12x3 + 679x4 + 425x5 + 133x6 + 645x7 + 398x8 + 379x9 + 57x10 + 879x11 + 946x12 + 903x13 + 49x14 + 980x15 + 697x16 + 780x17 + 188x18 + 220x19 + 276x20 + 473x21 + 488x22 + 431x23 + 195x24 + 190x25 + 511x26 + 250x27 + 302x28 + 116x29 + 610x30 + 618x31 + 426x32 + 620x33 + 800x34 + 673x35 + 536x36 + 144x37 + 709x38 + 620x39 + 981x40 + 779x41 + 299x42 + 721x43 + 17x44 + 90x45 + 891x46 + 369x47 + 721x48 + 656x49 + 568x50 + 2x51 + 84x52 + 811x53 + 871x54 + 737x55 + 886x56 + 449x57 + 785x58 + 810x59 + 199x60 + 649x61 + 5x62 + 289x63 + 185x64 + 953x65 + 102x66 + 860x67 + 228x68 + 643x69 + 353x70 + 927x71 + 946x72 + 766x73 + 363x74 + 862x75 + 1x76 + 430x77 + 52x78 + 80x79 + 781x80 + 252x81 + 191x82 + 65x83 + 10x84 + 805x85 + 661x86 + 156x87 + 315x88 + 858x89 + 589x90 + 714x91 + 236x92 + 954x93 + 404x94 + 838x95 + 424x96 + 346x97 + 996x98 + 565x99 + 963x100 <= 25187 
constr3: + 736x1 + 94x2 + 903x3 + 962x4 + 321x5 + 354x6 + 48x7 + 508x8 + 431x9 + 900x10 + 219x11 + 491x12 + 640x13 + 885x14 + 923x15 + 461x16 + 841x17 + 814x18 + 971x19 + 645x20 + 278x21 + 351x22 + 304x23 + 787x24 + 646x25 + 245x26 + 345x27 + 134x28 + 831x29 + 854x30 + 44x31 + 813x32 + 622x33 + 269x34 + 665x35 + 489x36 + 739x37 + 379x38 + 324x39 + 883x40 + 606x41 + 716x42 + 44x43 + 997x44 + 964x45 + 797x46 + 468x47 + 986x48 + 521x49 + 607x50 + 236x51 + 621x52 + 739x53 + 438x54 + 463x55 + 507x56 + 978x57 + 815x58 + 724x59 + 136x60 + 586x61 + 363x62 + 284x63 + 587x64 + 116x65 + 622x66 + 447x67 + 696x68 + 640x69 + 142x70 + 126x71 + 986x72 + 940x73 + 181x74 + 302x75 + 317x76 + 714x77 + 78x78 + 929x79 + 253x80 + 572x81 + 271x82 + 701x83 + 874x84 + 959x85 + 483x86 + 426x87 + 630x88 + 632x89 + 797x90 + 557x91 + 996x92 + 433x93 + 20x94 + 5x95 + 561x96 + 763x97 + 194x98 + 417x99 + 648x100 <= 25932 
constr4: + 453x1 + 674x2 + 696x3 + 944x4 + 260x5 + 923x6 + 677x7 + 223x8 + 649x9 + 337x10 + 242x11 + 799x12 + 240x13 + 532x14 + 919x15 + 471x16 + 111x17 + 177x18 + 843x19 + 801x20 + 841x21 + 303x22 + 657x23 + 370x24 + 242x25 + 253x26 + 910x27 + 717x28 + 271x29 + 567x30 + 840x31 + 403x32 + 365x33 + 795x34 + 887x35 + 380x36 + 975x37 + 397x38 + 640x39 + 227x40 + 164x41 + 484x42 + 542x43 + 459x44 + 599x45 + 4x46 + 121x47 + 84x48 + 629x49 + 553x50 + 866x51 + 668x52 + 164x53 + 767x54 + 731x55 + 966x56 + 225x57 + 171x58 + 625x59 + 36x60 + 70x61 + 287x62 + 631x63 + 68x64 + 654x65 + 280x66 + 539x67 + 924x68 + 537x69 + 464x70 + 152x71 + 294x72 + 829x73 + 403x74 + 246x75 + 410x76 + 259x77 + 34x78 + 388x79 + 518x80 + 286x81 + 746x82 + 985x83 + 503x84 + 282x85 + 778x86 + 78x87 + 437x88 + 890x89 + 583x90 + 68x91 + 945x92 + 70x93 + 401x94 + 773x95 + 334x96 + 518x97 + 98x98 + 972x99 + 1x100 <= 22543 
constr5: + 196x1 + 728x2 + 154x3 + 550x4 + 424x5 + 948x6 + 676x7 + 510x8 + 683x9 + 183x10 + 332x11 + 461x12 + 968x13 + 556x14 + 691x15 + 340x16 + 591x17 + 666x18 + 214x19 + 130x20 + 667x21 + 678x22 + 7x23 + 839x24 + 660x25 + 130x26 + 919x27 + 471x28 + 939x29 + 508x30 + 460x31 + 80x32 + 169x33 + 736x34 + 986x35 + 908x36 + 311x37 + 459x38 + 379x39 + 20x40 + 908x41 + 805x42 + 535x43 + 376x44 + 969x45 + 580x46 + 627x47 + 720x48 + 365x49 + 448x50 + 489x51 + 786x52 + 736x53 + 635x54 + 612x55 + 347x56 + 664x57 + 725x58 + 312x59 + 997x60 + 197x61 + 634x62 + 907x63 + 659x64 + 941x65 + 306x66 + 271x67 + 685x68 + 952x69 + 484x70 + 3x71 + 724x72 + 249x73 + 283x74 + 517x75 + 437x76 + 922x77 + 260x78 + 569x79 + 542x80 + 277x81 + 333x82 + 926x83 + 514x84 + 962x85 + 429x86 + 245x87 + 637x88 + 596x89 + 644x90 + 913x91 + 127x92 + 890x93 + 538x94 + 717x95 + 330x96 + 887x97 + 815x98 + 921x99 + 10x100 <= 26437 
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