TSTP Solution File: CSR114+20 by Refute---2015