loading SCIP...
13 39297 true
4 23 33 42 47 52 57 61 62 65 70 86 90