Test no-solution cases.