26.53/29.69	unsat
