24.45/24.52	unsat
