loading SCIP...
18 30484 true
5 7 9 19 29 36 38 42 44 52 53 57 58 78 81 82 85 97