TSTP Solution File: REL030-3 by Nitpick---2016