23.73/26.55	unsat
