20.73/22.20	unsat
