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