24.57/24.64	unsat
