wouldnt it be better to just shove 12 .5 bb. both stacks are so small, . usually people have a reason to the things they do, it might not have playd it out like you expected. but maybe the guy was noting, or using a hand generator,.and just decide to make a move according to the numbers that he was seeing.