loading SCIP...
13 37875 true
1 13 14 23 49 53 57 63 65 69 71 77 83