29.24/29.33	unsat
