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