loading SCIP...
13 36188 true
8 21 28 36 46 48 51 55 57 67 77 83 90