TSTP Solution File: COM104_5 by Refute---2015