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