loading SCIP...
44 641 true
6 10 12 13 14 15 18 22 23 24 26 27 31 33 34 36 40 41 45 48 53 55 56 57 59 61 63 64 66 69 70 71 73 75 78 79 84 88 89 90 91 93 94 98