loading SCIP...
10 43812 true
9 36 50 52 57 68 71 75 81 97