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