TSTP Solution File: ANA090^1 by Nitpick---2016