loading SCIP...
11 40719 true
0 16 39 44 58 63 65 74 90 97 98