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