2l - 9 * s ^ 64 12.