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