sat -hack testcase1