update for ural1382,2-SAT