29.14/29.69	unsat
