24.74/26.63	unsat
