24.46/24.69	unsat
