loading SCIP...
23 19890 true
0 1 4 10 12 16 24 25 31 33 34 39 42 47 58 62 68 69 71 78 85 87 96