loading SCIP...
10 43047 true
6 11 17 18 43 45 53 54 63 96