TSTP Solution File: CSR113+12 by Refute---2015