25.56/25.69	unsat
