26.27/26.39	unsat
