TSTP Solution File: CSR041+3 by Refute---2015