loading SCIP...
14 37032 true
7 13 18 21 26 28 41 44 50 56 74 78 81 82