34.31/34.42	unsat
