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