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