UCTL/A Problem Solving Strategy