TSTP Solution File: MSC008-2.002 by Refute---2015