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