TSTP Solution File: SET276-6 by SRASS---0.1