Uploaded 29 Jan 2026 by Phinian.
10 × 1.25 × 1.00 × 0.80 × 1.15 = 11.50, rounded to 12. Why these factors.
