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