29.35/29.42	unsat
