22.73/23.25	unsat
