loading SCIP...
13 38625 true
1 2 11 18 21 24 46 53 58 63 74 86 88