loading SCIP...
10 38078 true
1 4 9 18 19 22 28 31 56 64