23.73/24.91	unsat
