loading SCIP...
14 33297 true
1 2 11 25 28 31 37 40 43 47 49 63 88 96