(SETHSERIESMINIMUMDEFAULT
 (QUOTIENT (PLUS (TIMES 9 CDG (SUB1 CDG))
		 12)
	   2))
