TSTP Solution File: LAT006-1 by Nitpick---2016