displaying {HEAD ~ data} corresponding to a solution of {TAIL ~ the formula}: 
displaying { HEAD ~ data } corresponding to a solution of { TAIL ~ the formula } :
OTH HEAD HEAD HEAD HEAD HEAD OTH OTH OTH OTH OTH TAIL TAIL TAIL TAIL TAIL TAIL OTH