loading SCIP...
17 32125 true
4 11 14 23 30 34 41 57 65 78 81 91 92 93 96 97 99