loading SCIP...
43 609 true
5 7 9 11 13 14 16 17 19 20 22 23 25 26 32 33 37 41 47 48 51 52 53 54 56 59 60 61 62 64 65 72 73 75 76 79 81 83 86 87 93 96 98