23.73/24.83	unsat
