loading SCIP...
15 33438 true
4 8 18 23 30 42 47 49 52 58 67 70 76 90 91