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