TSTP Solution File: LAT312+4 by CARINE---0.734