loading SCIP...
29 10781 true
0 1 3 6 14 17 18 25 28 31 33 35 45 47 48 52 55 60 61 62 63 64 70 71 72 76 82 83 88