loading SCIP...
10 36594 true
8 21 37 43 49 52 55 57 63 65