18.16/19.96	unsat
