An O(n3) on line 2-satisfiability