24.74/26.25	unsat
