2sat bugged