TSTP Solution File: CSR116+19 by Refute---2015