TSTP Solution File: SET015-4 by SRASS---0.1