A great time saver.  Especially if it is KnownToHaveNoSolution.