Negative thinking in search methods: application to unate covering