TSTP Solution File: CSR031+3 by Mace4---1109a