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