Wrong answer UNSAT for SAT instance

[vlastikw]

./painless -c=4 -solver=maple -wkr-strat=2 -shr-strat=1 -no-model instance.cnf
returns UNSAT but
it is a SAT instance works for
./painless -c=4 -solver=maple -wkr-strat=4 -shr-strat=1 -no-model instance.cnf
returns SAT
instance.cnf.gz

[saeednj]

Thanks for providing the instance. I have another instance that causes the same behavior. Fixing the bug is in the task list. Thanks.