25-X=15并验算