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