sat solver sutaz: update vysledkov