added remaining failed testcase to README.FAILS in order to have a regression
added remaining failed testcase to README.FAILS in order to have a regression

ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver