loading SCIP...
14 34406 true
10 14 17 20 21 22 23 36 40 55 71 76 81 94