TSTP Solution File: LAT005-5 by cocATP---0.2.0