24.05/24.64	unsat
