24.56/24.69	unsat
