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