loading SCIP...
12 41063 true
1 4 5 9 10 11 20 63 68 79 82 95