TSTP Solution File: RNG027-7 by Nitpick---2016