loading SCIP...
10 47891 true
0 2 18 25 26 40 44 55 70 77