loading SCIP...
13 38937 true
10 24 40 45 47 55 58 67 78 79 90 92 95