loading SCIP...
10 39922 true
5 31 33 42 49 67 70 71 79 87