How do you multiply 20*sqrt2?