Reduced To Previously Unsolved Problem

A great time saver. Especially if it is KnownToHaveNoSolution.