loading SCIP...
20 22281 true
0 1 7 15 17 18 19 27 29 30 34 37 45 47 52 55 57 62 64 65