26.10/28.79	unsat
