Using the Law of Cosines for SAS