TSTP Solution File: LAT005-6 by Nitpick---2016