29.30/29.41	unsat
