TSTP Solution File: CSR035+6 by Refute---2015