24.16/25.69	unsat
