loading SCIP...
10 46328 true
14 21 30 53 55 60 78 79 83 84