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