24.48/24.50	unsat
