26.11/29.69	unsat
