loading SCIP...
41 3375 true
1 3 5 7 8 15 17 18 22 28 30 33 37 40 41 42 44 45 47 48 49 51 53 55 59 60 64 66 69 72 73 78 80 81 84 86 87 88 90 91 98