Adding default of - for testsolving. Fixes #45