TSTP Solution File: CSR079+1 by Refute---2015