loading SCIP...
12 37453 true
3 4 6 18 21 35 39 55 62 77 96 97