22.45/24.70	unsat
