TSTP Solution File: ROB006-1 by Nitpick---2016