TSTP Solution File: CSR114+24 by Mace4---1109a