22.73/24.74	unsat
