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