24.64/24.77	unsat
