loading SCIP...
10 43156 true
4 15 16 32 45 50 57 66 78 99