26.73/31.08	unsat
