loading SCIP...
46 172 true
4 6 7 8 13 14 15 17 20 21 23 27 28 30 34 36 38 39 42 43 44 45 47 48 53 55 58 59 61 62 63 69 70 72 73 76 78 79 80 81 86 88 90 96 98 99