24.64/24.87	unsat
