aded ... in solve args