loading SCIP...
9 46391 true
0 3 18 19 20 36 52 56 92