loading SCIP...
7 54891 true
11 18 53 61 80 83 96