loading SCIP...
11 44656 true
12 15 22 47 49 57 82 92 93 96 99