loading SCIP...
17 31062 true
4 10 20 23 29 31 34 49 50 53 54 78 89 91 92 96 99