loading SCIP...
9 40282 true
0 4 14 22 62 63 76 77 81