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