Added minisat policy for the watches.