SAT

get result0