loading SCIP...
10 45719 true
0 18 21 32 37 53 57 62 81 87