loading SCIP...
8 31593 true
4 31 63 64 71 82 91 94