29.39/29.59	unsat
