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