k1 = 93/5000000;
k2 = 21/1000000;
k3 = 11783/100000000000;
k4 = 16931/2000000000;
k5 = 54357/1000000000;
k6 = 557/200000000;
k7 = 287/50000;
k8 = 4;
k9 = 9/50000000000;
k10 = 1;
k11 = 1;
k12 = 1;