minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 35807.660000 s2: s + 0.001000f1 + 0.501000f2 >= 35807.660000 f1: -f1 + 579x1 + 678x2 + 740x3 + 681x4 + 740x5 + 727x6 + 644x7 + 926x8 + 932x9 + 1006x10 + 840x11 + 698x12 + 566x13 + 675x14 + 577x15 + 714x16 + 917x17 + 196x18 + 714x19 + 542x20 + 982x21 + 612x22 + 872x23 + 1008x24 + 1083x25 + 681x26 + 638x27 + 1051x28 + 646x29 + 791x30 + 599x31 + 929x32 + 806x33 + 906x34 + 530x35 + 767x36 + 568x37 + 660x38 + 528x39 + 738x40 + 830x41 + 1127x42 + 510x43 + 604x44 + 670x45 + 673x46 + 748x47 + 404x48 + 910x49 + 595x50 + 902x51 + 734x52 + 754x53 + 786x54 + 780x55 + 316x56 + 887x57 + 858x58 + 954x59 + 1114x60 + 524x61 + 856x62 + 840x63 + 1002x64 + 961x65 + 723x66 + 915x67 + 882x68 + 879x69 + 648x70 + 378x71 + 478x72 + 867x73 + 487x74 + 640x75 + 936x76 + 462x77 + 188x78 + 417x79 + 478x80 + 624x81 + 1004x82 + 723x83 + 515x84 + 1047x85 + 785x86 + 672x87 + 679x88 + 822x89 + 432x90 + 552x91 + 629x92 + 523x93 + 449x94 + 567x95 + 652x96 + 668x97 + 516x98 + 584x99 + 683x100 = 0 f2: -f2 + 929x1 + 188x2 + 882x3 + 1008x4 + 867x5 + 432x6 + 734x7 + 698x8 + 961x9 + 530x10 + 926x11 + 1083x12 + 723x13 + 449x14 + 872x15 + 668x16 + 612x17 + 830x18 + 552x19 + 542x20 + 917x21 + 640x22 + 599x23 + 858x24 + 840x25 + 887x26 + 670x27 + 1002x28 + 523x29 + 910x30 + 648x31 + 780x32 + 1004x33 + 954x34 + 646x35 + 791x36 + 806x37 + 629x38 + 567x39 + 982x40 + 638x41 + 478x42 + 378x43 + 644x44 + 404x45 + 723x46 + 1047x47 + 915x48 + 316x49 + 767x50 + 672x51 + 417x52 + 568x53 + 577x54 + 678x55 + 1127x56 + 604x57 + 786x58 + 673x59 + 856x60 + 714x61 + 727x62 + 1051x63 + 740x64 + 822x65 + 714x66 + 840x67 + 681x68 + 675x69 + 652x70 + 584x71 + 528x72 + 879x73 + 936x74 + 902x75 + 740x76 + 683x77 + 595x78 + 462x79 + 478x80 + 1006x81 + 579x82 + 624x83 + 681x84 + 524x85 + 510x86 + 932x87 + 738x88 + 516x89 + 487x90 + 906x91 + 660x92 + 515x93 + 754x94 + 679x95 + 785x96 + 748x97 + 566x98 + 1114x99 + 196x100 = 0 constr1: + 835x1 + 39x2 + 166x3 + 489x4 + 755x5 + 233x6 + 158x7 + 170x8 + 881x9 + 88x10 + 435x11 + 268x12 + 104x13 + 470x14 + 633x15 + 888x16 + 771x17 + 738x18 + 264x19 + 375x20 + 966x21 + 656x22 + 488x23 + 633x24 + 995x25 + 583x26 + 355x27 + 419x28 + 197x29 + 525x30 + 446x31 + 2x32 + 31x33 + 419x34 + 181x35 + 195x36 + 698x37 + 224x38 + 674x39 + 927x40 + 354x41 + 814x42 + 180x43 + 615x44 + 62x45 + 176x46 + 839x47 + 420x48 + 185x49 + 807x50 + 776x51 + 228x52 + 892x53 + 232x54 + 478x55 + 563x56 + 616x57 + 46x58 + 456x59 + 720x60 + 29x61 + 646x62 + 857x63 + 299x64 + 861x65 + 295x66 + 205x67 + 552x68 + 70x69 + 39x70 + 761x71 + 61x72 + 25x73 + 156x74 + 243x75 + 500x76 + 238x77 + 639x78 + 551x79 + 376x80 + 332x81 + 74x82 + 581x83 + 791x84 + 482x85 + 900x86 + 836x87 + 460x88 + 1000x89 + 704x90 + 96x91 + 529x92 + 155x93 + 778x94 + 267x95 + 472x96 + 275x97 + 501x98 + 357x99 + 639x100 <= 23267 constr2: + 255x1 + 126x2 + 20x3 + 419x4 + 75x5 + 944x6 + 626x7 + 310x8 + 653x9 + 58x10 + 208x11 + 606x12 + 722x13 + 996x14 + 490x15 + 776x16 + 899x17 + 270x18 + 793x19 + 253x20 + 222x21 + 553x22 + 44x23 + 946x24 + 956x25 + 457x26 + 658x27 + 948x28 + 438x29 + 675x30 + 576x31 + 858x32 + 448x33 + 39x34 + 201x35 + 121x36 + 865x37 + 237x38 + 288x39 + 974x40 + 896x41 + 511x42 + 695x43 + 22x44 + 302x45 + 546x46 + 949x47 + 326x48 + 844x49 + 325x50 + 706x51 + 890x52 + 595x53 + 397x54 + 451x55 + 182x56 + 742x57 + 887x58 + 333x59 + 503x60 + 585x61 + 268x62 + 586x63 + 544x64 + 198x65 + 410x66 + 964x67 + 388x68 + 956x69 + 174x70 + 789x71 + 310x72 + 119x73 + 788x74 + 723x75 + 786x76 + 694x77 + 683x78 + 653x79 + 122x80 + 391x81 + 489x82 + 103x83 + 528x84 + 42x85 + 802x86 + 549x87 + 567x88 + 369x89 + 704x90 + 753x91 + 881x92 + 539x93 + 570x94 + 413x95 + 135x96 + 971x97 + 189x98 + 320x99 + 995x100 <= 22629 constr3: + 797x1 + 346x2 + 489x3 + 248x4 + 363x5 + 13x6 + 765x7 + 955x8 + 829x9 + 143x10 + 630x11 + 576x12 + 373x13 + 802x14 + 848x15 + 113x16 + 587x17 + 241x18 + 428x19 + 270x20 + 987x21 + 578x22 + 163x23 + 53x24 + 825x25 + 381x26 + 470x27 + 943x28 + 164x29 + 79x30 + 462x31 + 305x32 + 324x33 + 452x34 + 629x35 + 160x36 + 420x37 + 606x38 + 282x39 + 66x40 + 726x41 + 816x42 + 581x43 + 13x44 + 521x45 + 729x46 + 951x47 + 297x48 + 340x49 + 393x50 + 447x51 + 364x52 + 176x53 + 974x54 + 341x55 + 122x56 + 231x57 + 565x58 + 119x59 + 777x60 + 71x61 + 479x62 + 758x63 + 270x64 + 461x65 + 825x66 + 870x67 + 18x68 + 66x69 + 347x70 + 424x71 + 50x72 + 751x73 + 427x74 + 864x75 + 258x76 + 345x77 + 945x78 + 253x79 + 64x80 + 835x81 + 219x82 + 732x83 + 80x84 + 950x85 + 842x86 + 68x87 + 291x88 + 394x89 + 483x90 + 201x91 + 791x92 + 137x93 + 302x94 + 256x95 + 78x96 + 985x97 + 660x98 + 237x99 + 238x100 <= 23478 constr4: + 79x1 + 302x2 + 654x3 + 250x4 + 699x5 + 755x6 + 252x7 + 178x8 + 552x9 + 414x10 + 620x11 + 653x12 + 643x13 + 523x14 + 341x15 + 173x16 + 300x17 + 664x18 + 431x19 + 374x20 + 643x21 + 401x22 + 227x23 + 350x24 + 630x25 + 155x26 + 284x27 + 246x28 + 109x29 + 353x30 + 450x31 + 647x32 + 394x33 + 345x34 + 227x35 + 220x36 + 665x37 + 660x38 + 97x39 + 74x40 + 133x41 + 488x42 + 474x43 + 216x44 + 213x45 + 478x46 + 570x47 + 382x48 + 968x49 + 299x50 + 1x51 + 135x52 + 119x53 + 592x54 + 484x55 + 704x56 + 27x57 + 968x58 + 525x59 + 452x60 + 467x61 + 245x62 + 707x63 + 717x64 + 366x65 + 330x66 + 983x67 + 404x68 + 449x69 + 559x70 + 756x71 + 867x72 + 584x73 + 223x74 + 693x75 + 623x76 + 885x77 + 689x78 + 491x79 + 103x80 + 643x81 + 769x82 + 654x83 + 299x84 + 799x85 + 141x86 + 319x87 + 142x88 + 588x89 + 471x90 + 664x91 + 995x92 + 979x93 + 965x94 + 387x95 + 319x96 + 325x97 + 834x98 + 499x99 + 74x100 <= 23014 constr5: + 126x1 + 977x2 + 193x3 + 557x4 + 740x5 + 208x6 + 127x7 + 786x8 + 27x9 + 365x10 + 13x11 + 795x12 + 478x13 + 672x14 + 630x15 + 178x16 + 971x17 + 502x18 + 865x19 + 391x20 + 508x21 + 1000x22 + 587x23 + 298x24 + 975x25 + 44x26 + 640x27 + 784x28 + 277x29 + 301x30 + 816x31 + 374x32 + 339x33 + 810x34 + 801x35 + 350x36 + 250x37 + 70x38 + 97x39 + 292x40 + 560x41 + 301x42 + 185x43 + 48x44 + 323x45 + 314x46 + 769x47 + 170x48 + 841x49 + 354x50 + 614x51 + 504x52 + 897x53 + 346x54 + 612x55 + 424x56 + 368x57 + 303x58 + 203x59 + 548x60 + 99x61 + 321x62 + 252x63 + 216x64 + 768x65 + 598x66 + 177x67 + 485x68 + 596x69 + 544x70 + 158x71 + 731x72 + 122x73 + 784x74 + 122x75 + 137x76 + 761x77 + 510x78 + 12x79 + 805x80 + 771x81 + 686x82 + 310x83 + 619x84 + 461x85 + 618x86 + 355x87 + 238x88 + 434x89 + 39x90 + 528x91 + 863x92 + 495x93 + 186x94 + 532x95 + 393x96 + 989x97 + 111x98 + 904x99 + 297x100 <= 25007 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