20.42/25.69	unsat
