11 1303 600 true
0 1 3 6 8 11 12 15 20 22 28