32.29/34.60	unsat
