32.21/34.46	unsat
