26.23/28.31	unsat
