loading SCIP...
14 37172 true
1 5 13 24 30 54 63 66 73 80 88 91 92 95