TSTP Solution File: COL003-13 by Refute---2015