tested exceptions
test searches with unsatisfiable penalizing constraint