23.74/26.35	unsat
