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