Factor t^12-r^3s^15