20.73/22.25	unsat
