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