dodan sat3 z hevristiko a/b, kjer je a stevilo pojavitev spremenljivke, b pa velikost najmanjsega izraza, kjer se je spremenljivka pojavila