Take care fatal and error messages are written to stderr and not to stdout.
Take care fatal and error messages are written to stderr and not to stdout.

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