updated asqtad solver