loading SCIP...
10 45218 true
4 12 18 22 23 41 55 71 77 81