17.39/20.96	unsat
