On line algorithms for polynomially solvable satisfiability problems