Dodan sat2(), ki je podoben sat(), le da vsebuje hevristiko, katero spremenljivko izberemo na koncu