loading SCIP...
13 37891 true
11 13 29 44 50 54 58 64 70 75 87 91 93