24.93/25.69	unsat
