loading SCIP...
10 44140 true
0 13 14 17 20 40 68 96 97 98