Fix problem with unknown as solution