TSTP Solution File: ROB018-10 by Mace4---1109a