Solutions to CLRS problems