24.37/24.52	unsat
