26.23/26.59	unsat
