loading SCIP...
10 45469 true
1 4 10 12 18 44 60 71 95 96