20.74/22.69	unsat
