SAT的问题请教

01