32.03/34.40	unsat
