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