29.51/29.63	unsat
