loading SCIP...
21 25891 true
0 1 9 13 16 25 31 34 46 51 53 54 59 65 67 68 70 71 73 92 96