TSTP Solution File: CSR247+1 by Mace4---1109a