loading SCIP...
17 32110 true
2 3 41 44 45 47 50 52 58 60 67 68 77 87 91 95 96