An alternate method to generate an unsatisfiable hint