TSTP Solution File: MGT010-1 by SInE---0.4