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