Itchoosesvaluesforonevariableatatimeandbacktrackswhenavariablehasnolegalvalueslefttoassign.每次为变量选择值并且当变量没有合法赋值时回溯