TSTP Solution File: ROB025-10 by Nitpick---2016