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