24.40/24.52	unsat
