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