Tangram Solving with Exact Arithmetic