loading SCIP...
12 39047 true
1 7 9 12 38 43 59 63 69 74 90 91