(6cis42deg)/(3cis12deg)