dummy solvers
added W in the output
solver option and corret input catTuple