Is 8, 11.5, 8.5 a right triangle?