K = 12.000000 16.000000 4.000000 12.000000