TSTP Solution File: MGT036-1 by SRASS---0.1