25.35/26.95	unsat
