Example Sat Solve For Variable Problem