toysolver: remove duplicated option --print-rational