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