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