TSTP Solution File: MGT058+1 by Refute---2015