loading SCIP...
12 39828 true
8 9 45 51 57 59 65 72 81 90 95 96