TSTP Solution File: SCT243_5 by Refute---2015