push 6
push 3
push 12
GetMin
pop
size
GetMin