loading SCIP...
14 36906 true
15 28 33 47 54 56 60 66 68 82 87 90 93 95