argument solver